×

Found 17 Documents (Results 1–17)

Models and termination of proof reduction in the \(\lambda\Pi\)-calculus modulo theory. (English) Zbl 1442.03009

Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 109, 14 p. (2017).
MSC:  03B40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Yet another bijection between sequent calculus and natural deduction. (English) Zbl 1343.03042

Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the 9th workshop on logical and semantic frameworks, with applications (LSFA 2014), Brasilia, Brazil, September 8–9, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 312, 107-124, electronic only (2015).
MSC:  03F03 03B20
PDFBibTeX XMLCite
Full Text: DOI

Computation, proof, machine. Mathematics enters a new age. Translated from the French by Pierre Guillot and Marion Roman. (English) Zbl 1318.01002

Cambridge: Cambridge University Press (ISBN 978-0-521-13377-7/pbk; 978-0-521-11801-9/hbk). viii, 152 p. (2015).
PDFBibTeX XMLCite

A theory independent Curry-De Bruijn-Howard correspondence. (English) Zbl 1367.03029

Czumaj, Artur (ed.) et al., Automata, languages, and programming. 39th international colloquium, ICALP 2012, Coventry, UK, July 9–13, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-31584-8/pbk). Lecture Notes in Computer Science 7392, 13-15 (2012).
MSC:  03B40 03B35 03F03
PDFBibTeX XMLCite
Full Text: DOI

The metamorphoses of the calculus. An amazing history of mathematics. Reprint of the 2007 edition. (Les métamorphoses du calcul. Une étonnante histoire de mathématiques.) (French) Zbl 1360.01012

Poche. Paris: Éditions Le Pommier (ISBN 978-2-7465-0561-2/pbk). 224 p. (2011).
PDFBibTeX XMLCite

Proofs and algorithms. An introduction to logic and computability. (English) Zbl 1230.03001

Undergraduate Topics in Computer Science. New York, NY: Springer (ISBN 978-0-85729-120-2/pbk; 978-0-85729-121-9/ebook). xii, 155 p. (2011).
PDFBibTeX XMLCite
Full Text: DOI

Proofs and algorithms. An introduction to logic and computability. (Les démonstrations et les algorithmes. Introduction à la logique et à la calculabilité.) (French) Zbl 1230.03002

Palaiseau: Les Éditions de l’École Polytechnique (ISBN 978-2-7302-1569-5). 195 p. (2010).
PDFBibTeX XMLCite

The metamorphoses of the calculus. An amazing history of mathematics. (Les métamorphoses du calcul. Une étonnante histoire de mathématiques.) (French) Zbl 1161.01001

Paris: Éditions Le Pommier (ISBN 978-2-7465-0324-3/pbk). 224 p. (2007).
PDFBibTeX XMLCite

Introduction to proof theory. (English) Zbl 1134.03031

Schwichtenberg, Helmut (ed.) et al., Proof technology and computation. Papers from the summer school, Marktoberdorf, Germany, July 29–August 10, 2003. Amsterdam: IOS Press (ISBN 1-58603-625-4/hbk). NATO Science Series III: Computer & Systems Sciences 200, 57-126 (2006).
MSC:  03F03 03F05 03-02
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software