Girard, Jean-Yves The blind spot. Lectures on logic. (English) Zbl 1238.03045 Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-088-3/hbk). xiii, 537 p. (2011). Reviewer: Esfandiar Haghverdi (Bloomington) MSC: 03Fxx 03-02 03-03 03A05 03B10 03B15 03B47 03B70 03F03 03F05 03F07 03F52 03G30 18C50 18D15 PDFBibTeX XMLCite \textit{J.-Y. Girard}, The blind spot. Lectures on logic. Zürich: European Mathematical Society (EMS) (2011; Zbl 1238.03045) Full Text: DOI
Girard, Jean-Yves Geometry of interaction. V: Logic in the hyperfinite factor. (English) Zbl 1230.03093 Theor. Comput. Sci. 412, No. 20, 1860-1883 (2011). MSC: 03F52 03F05 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Theor. Comput. Sci. 412, No. 20, 1860--1883 (2011; Zbl 1230.03093) Full Text: DOI
Girard, Jean-Yves Light linear logic. (English) Zbl 0912.03025 Inf. Comput. 143, No. 2, 175-204 (1998). Reviewer: Lorenzo Tortora de Falco (Paris) MSC: 03F20 03F05 03B70 03B20 03F07 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Inf. Comput. 143, No. 2, 175--204 (1998; Zbl 0912.03025) Full Text: DOI Link
Girard, Jean-Yves 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) MSC: 03F05 03B20 03B70 68N17 46L99 68Q55 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Lond. Math. Soc. Lect. Note Ser. 222, 329--389 (1995; Zbl 0828.03027)
Girard, Jean-Yves 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) MSC: 03F05 03B20 03B70 68N17 68Q55 46L99 PDFBibTeX XMLCite \textit{J.-Y. Girard}, NATO ASI Ser., Ser. F, Comput. Syst. Sci. 139, 145--191 (1995; Zbl 0828.03026)
Girard, Jean-Yves; Scedrov, Andre; Scott, Philip J. 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) MSC: 03F05 18A23 03B20 68Q55 18D15 03B70 03B40 PDFBibTeX XMLCite \textit{J.-Y. Girard} et al., in: Logic from computer science. Proceedings of a workshop, held November 13- 17, 1989, at the Mathematical Sciences Research Institute, Berkeley, CA, USA. New York etc.: Springer-Verlag. 217--241 (1992; Zbl 0753.03024)
Girard, Jean-Yves Geometry of interaction. II: Deadlock-free algorithms. (English) Zbl 0716.03047 Colog-88, Proc. Int. Conf., Tallinn/USSR 1988, Lect. Not. Comput. Sci. 417, 76-93 (1990). Reviewer: G.Mints MSC: 03F05 03B70 46L99 PDFBibTeX XML
Girard, Jean-Yves; Taylor, Paul; Lafont, Yves Proofs and types. (English) Zbl 0671.68002 Cambridge Tracts in Theoretical Computer Science, 7. Cambridge etc.: Univ. Press. XI, 176 p. £17.50 (1989). Reviewer: G.Vorobyov MSC: 68-02 03B15 03B40 03F05 03-02 03B70 03F07 03F10 03F35 PDFBibTeX XMLCite \textit{J.-Y. Girard} et al., Proofs and types. Cambridge etc.: Univ. Press (1989; Zbl 0671.68002)
Girard, J. Y.; Lafont, Y. Linear logic and lazy computation. (English) Zbl 0647.03016 TAPSOFT ’87, Proc. Int. Conf. Software development, Pisa/Italy 1987, Vol. 2: Functional and logic programming and specifications, Lect. Notes Comput. Sci. 250, 52-66 (1987). MSC: 03B70 03B40 68N01 03F05 PDFBibTeX XML
Girard, Jean-Yves Linear logic and parallelism. (English) Zbl 0629.03036 Mathematical models for the semantics of parallelism, Proc. Adv. Sch., Rome/Italy 1986, Lect. Notes Comput. Sci. 280, 166-182 (1987). Reviewer: G.Kreisel MSC: 03F05 68Q65 PDFBibTeX XML
Girard, Jean-Yves Linear logic. (English) Zbl 0625.03037 Theor. Comput. Sci. 50, 1-102 (1987). Reviewer: G.Kreisel MSC: 03F05 68N01 68T15 03B70 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Theor. Comput. Sci. 50, 1--102 (1987; Zbl 0625.03037) Full Text: DOI
Girard, Jean-Yves Introduction to \(\Pi^1_2\)-logic. (English) Zbl 1069.03503 Synthese 62, No. 2, 191-216 (1985). Reviewer: M. Yasuhara (Princeton) (MR 86m:03089) MSC: 03F15 03F35 03F05 03E15 03G30 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Synthese 62, No. 2, 191--216 (1985; Zbl 1069.03503) Full Text: DOI
Girard, J. Y.; Vauzeilles, J. Les premiers récursivement inaccessible et Mahlo et la théorie des dilatateurs. (French) Zbl 0556.03043 Arch. Math. Logik Grundlagenforsch. 24, 167-191 (1984). MSC: 03F10 03F15 03D60 03F05 03D65 PDFBibTeX XMLCite \textit{J. Y. Girard} and \textit{J. Vauzeilles}, Arch. Math. Logik Grundlagenforsch. 24, 167--191 (1984; Zbl 0556.03043) Full Text: DOI EuDML
Girard, J.-Y. A survey of \(\Pi_2^1\)-logic. (English) Zbl 0496.03038 Logic, methodology and philosophy of science VI, Proc. 6th int. Congr., Hannover 1979, Stud. Logic Found. Math. 104, 89-107 (1982). MSC: 03F15 03E15 03F05 03D60 03D70 03G30 PDFBibTeX XML
Girard, Jean-Yves; Päppinghaus, Peter A result on implications of \(Sigma_ 1-\)sentences and its application to normal form theorems. (English) Zbl 0469.03039 J. Symb. Log. 46, 634-642 (1981). MSC: 03F05 PDFBibTeX XMLCite \textit{J.-Y. Girard} and \textit{P. Päppinghaus}, J. Symb. Log. 46, 634--642 (1981; Zbl 0469.03039) Full Text: DOI