From the thesis, a new logical/type theory system that is the natural, intrinsic logic of the categories GC, "Full Intuitionistic Linear Logic" (FILL). With Luiz Carlos Pereira, a version for ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results