×

Found 56 Documents (Results 1–56)

Three lightings of logic (invited talk). (English) Zbl 1356.03015

Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 11-23 (2013).
MSC:  03A05 03F03
PDFBibTeX XMLCite
Full Text: DOI

Normativity in logic. (English) Zbl 1314.03051

Dybjer, Peter (ed.) et al., Epistemology versus ontology. Essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf. Based on the conference, “Philosophy and foundations of mathematics: Epistemological and ontological aspects”, Uppsala, Sweden, May 5–8, 2009. Dordrecht: Springer (ISBN 978-94-007-4434-9/hbk; 978-94-007-4435-6/ebook). Logic, Epistemology, and the Unity of Science 27, 243-263 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Geometry of interaction. IV: The feedback equation. (English) Zbl 1105.03064

Stoltenberg-Hansen, Viggo (ed.) et al., Logic colloquium ’03. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Helsinki, Finland, August 14–20, 2003. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-293-0/hbk; 1-56881-294-9/pbk). Lecture Notes in Logic 24, 76-117 (2006).
PDFBibTeX XMLCite

Between logic and quantic: a tract. (English) Zbl 1073.03036

Ehrhard, Thomas (ed.) et al., Linear logic in computer science. Based on the Azores summer school on linear logic and computer science, St. Miguel, Azores, Portugal, August 30–September 7, 2000. Cambridge: Cambridge University Press (ISBN 0-521-60857-0/pbk). London Mathematical Society Lecture Note Series 316, 346-381 (2004).
MSC:  03F52 81P10 03G12
PDFBibTeX XMLCite

Ludics: an introduction. (English) Zbl 1056.03034

Schwichtenberg, Helmut (ed.) et al., Proof and system-reliability. Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, July 24 – August 5, 2001. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0607-1/hbk). NATO Sci. Ser. II, Math. Phys. Chem. 62, 167-211 (2002).
PDFBibTeX XMLCite

On the meaning of logical rules. II: Multiplicatives and additives. (English) Zbl 1031.03075

Bauer, Friedrich L. (ed.) et al., Foundations of secure computation. 20th international summer school, Marktoberdorf, Germany, July 27 - August 8, 1999. Amsterdam: IOS Press. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 175, 183-212 (2000).
MSC:  03F52 03F07 03F05
PDFBibTeX XMLCite

Typed lambda calculi and applications. 4th international conference, TLCA ’99. L’Aquila, Italy, April 7–9, 1999. Proceedings. (English) Zbl 0911.00022

Lecture Notes in Computer Science. 1581. Berlin: Springer. viii, 397 p. (1999).
MSC:  00B25 03-06 68-06
PDFBibTeX XMLCite
Full Text: DOI

Coherent Banach spaces: A continuous denotational semantics. (Extended abstract). (English) Zbl 0909.68115

Girard, Jean-Yves (ed.) et al., Linear logic 96. Papers from the meeting, Keio Univ., Tokyo, Japan, March 28 - April 2, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 3, 7 p. (1996).
MSC:  68Q55
PDFBibTeX XMLCite
Full Text: Link

On denotional completeness. (Extended abstract). (English) Zbl 0908.03010

Girard, Jean-Yves (ed.) et al., Linear logic 96. Papers from the meeting, Keio Univ., Tokyo, Japan, March 28 - April 2, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 3, 6 p. (1996).
MSC:  03B20
PDFBibTeX XMLCite
Full Text: Link

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

Linear logic: Its syntax and semantics. (English) Zbl 0828.03003

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, 1-42 (1995).
MSC:  03B20
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

Light linear logic. (English) Zbl 07776719

Leivant, Daniel (ed.), Logic and computational complexity. International workshop, LCC ’94, Indianapolis, IN, USA, October 13–16, 1994. Selected Papers. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 960, 145-176 (1995).
MSC:  03-XX
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference