×

Found 15 Documents (Results 1–15)

Geometry of interaction. III: Accommodating the additives. (English) Zbl 0828.03027

Girard, Jean-Yves (ed.) et al., Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 222, 329-389 (1995).
Reviewer: G.Mints (Stanford)
PDFBibTeX XMLCite

On geometry of interaction. (English) Zbl 0828.03026

Schwichtenberg, Helmut (ed.), Proof and computation. Proceedings of the NATO ASI summer school held in Marktoberdorf, Germany, July 20-August 1, 1993. Berlin: Springer-Verlag. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 139, 145-191 (1995).
Reviewer: G.Mints (Stanford)
PDFBibTeX XMLCite

Normal forms and cut-free proofs as natural transformations. (English) Zbl 0753.03024

Logic from computer science, Proc. Workshop, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 21, 217-241 (1992).
Reviewer: G.Mints (Stanford)
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field