Add Yahoo as a preferred source to see more of our stories on Google. A SpaceX rocket launch. SpaceX Humans launched a record number of objects into space last year, from satellites to probes to ...
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