|
Adrian Rezus Nimègue / Pays-Bas
- On a Theorem of Tarki (1982)
Libertas Mathematica [Arlington, TX], 2/1982, p. 63-97
[equivalences: logique] [Preprint 227: Mathematisch Instituut, Utrecht, janvier 1982] [pdfprint] [en]- Beyond Brouwer-Heyting-Kolmogorov (1991)
[equivalences: logique] [Reprint: Nimègue, 2006] [pdf] [en]
(`extended abstract' : Henk Barendregt, Marc Bezem & Jan Willem Klop [réd.], Dirk van Dalen Festschrift, Université de Utrecht 1993, p. 114-120 [Quaestiones Infinitae 5, Publications of the Department of Philosophy, Utrecht University])- Beyond BHK (1993)
[equivalences: logique] [Reprint: Nimègue, 2006] [pdf] [en]- Witness Structures (Lecture Notes, 1993-2001, 2007, etc.)
[equivalences: logique] [à paraître] [en]- Tarski's Claim: Thirty Years Later (2010)
[equivalences: logique] (Preprint: Nimègue, October 1, 2010) [pdfprint] [en]- Lambdas, Types and Proofs: A Selective Bibliography (2011)
[equivalences: logique] (Preprint: Nimègue, 2011) [pdfprint] [en]- Notes on Logic and Lambda-calculus I (2007-2015)
[equivalences: logique] (Preprints: Nimègue, rev. 2016) [zip] [en]
- 1 An Ancient Logic [= Chrysippus and His Modern Readers I] (2007, rev. 2016) [pdfprint]
- 2 Im Buchstabenparadies [Gottlob Frege and His Regellogik] (2009, rev. 2016) [pdfprint]
- 3 Tarski's Claim: Thirty Years Later (2010, rev. 2016) [pdfprint]
- 4 What is a `Challenging Problem'? (2010, rev. 2016) [pdfprint]]
- 5 Lukasiewicz, Jaskowski and Natural Deduction [Curry-Howard for Classical Logic] (2015, rev. 2016) [pdfprint]
- Notes on Logic and Lambda-calculus II Reviews (2015) [en]
- 1 Review of: Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, and Dov M. Gabbay The Functional Interpretation of Logical Deduction, World Scientific, 2012,
in: Studia Logica 103 (2), 2015, pp. 447-451 [DOI: 10.1007/s11225-015-9612-5] [Springer link] [reprint] [preprint]- 2 Review of: Henk Barendregt, Will Deckers, Richard Statman et alii Lambda Calculus with Types, Cambridge UP & ASL, 2013,
in: Studia Logica 103 (6) 2015, pp. 1319-1326 DOI:10.1007/s11225-015-9634-z] [Springer link] [reprint] [preprint]
Adrian Rezus Nimègue / Pays-Bas
- Lambda-conversion and Logic
[Mathematisch Instituut & Filosofisch Instituut, CIF, Utrecht, 1979-1981]
Elinkwijk BV, Utrecht 1981 [xii + 198 p.]
(thèse de doctorat, Université de Utrecht, 1981, sous la direction de Dirk van Dalen et Henk Barendregt)
[equivalences: logique] [à paraître] [en]- A Bibliography of Lambda-calculi, Combinatory Logics and Related Topics (With a preface by Henk Barendregt)
Mathematisch Centrum / CWI, Amsterdam 1982 [iv + 86 p.] [pdf]
[equivalences: logique] [pdf] [en]- Abstract Automath
[Technische Universiteit, Einhoven, 1982]
Mathematisch Centrum / CWI, Amsterdam 1983 [Mathematical Centre Tracts 160] [vi + 188 p.] [pdf] [en]
The Automath Archive, Technische Universiteit, Eindhoven [pdf] [en]- Semantics for Classical Automath and Related Systems
[Technische Universiteit, Eindhoven, 1982]
Information and Control, 59/1983, p. 127-147,
Radboud University Digital Repository, collection Keur der Wetenschap [full item record] [pdf] [en]
(avec Henk Barendregt, Université de Utrecht & Université de Nimègue)- Semantics of Constructive Type Theory
[NWO, La Haye & Université de Nimègue, 1983-1986]
Technical Report 2/1987 (n.s.), KUN-WNS-Informatica, Nimègue [avril] 1987 [88 p.]
(v. aussi Libertas Mathematica [Arlington, TX], 6/1986, p. 1-82)
[equivalences: logique] [à paraître] [en]- Impredicative Type Theories [Girard-Reynolds Typed Lambda-calculi]
[NWO, La Haye & Université de Nimègue, 1985-1986]
Technical Report 85/1986, KUN-WNS-Informatica, Nimègue [juin] 1986 [288 p.]
(notes de cours : Université de Nimègue, 1985-1986)
[equivalences: logique] [à paraître] [en]- Automath - Syntax and Semantics
[NWO, La Haye & Université de Nimègue, 1986]
Institute for Advances Studies, Canberra, ACT 1986
(conférences : The Automated Reasoning Project, Institute for Advances Studies & Australian National University, Canberra, ACT, [août] 1986)
[equivalences: logique] [à paraître] [en]- Two `Modal' Logics I
[NWO, La Haye & Université de Nimègue, 1987]
(conférence : Paris-Sorbonne, Université de Paris IV, [juin] 1987)
Nimègue [août] 1987 [21 p.]; révision : [le 28 août] 1990 [23 p.]
[equivalences: logique] [pdf] [en]- Classical Proofs [Lambda Calculus Methods in Elementary Proof Theory]
[NWO, La Haye & Université de Nimègue, 1987]
Nimègue [le 5.VIII] 1990 [128 p.]
[equivalences: logique] [pdf] [117 p.; sans Appendix] [en]- What is a Classical Proof?
[NWO, La Haye & Université de Nimègue, 1987]
(conférence : GMD-Colloquium, Forschungsstelle für Programmstrukturen, Gesellschaft für Mathematik und Datenverarbeitung [MBH, Bonn, German National Research Center, Division Karlsruhe], Université de Karlsruhe, [mai] 1989)
Nimègue [avril] 1990 [52 p.]
[equivalences: logique] [à paraître] [en]
Bart Jacobs Nimègue / Pays-BasMorten Heine Sørensen Copenhague / Danemark Pawel Urzyczyn Varsovie / Pologne
- Categorical Logic and Type Theory
[Université de Nimègue, 1988-1991, 1996-1998; Université de Utrecht, 1992-1994; CWI, Amsterdam 1994-1996; NWO, La Haye, 1992-1996; KNAW, Amsterdam, 1996-1998, etc.]
Elsevier Science, Amsterdam etc. 1999 [xviii + 760 p.]
[Studies in Logic and the Foundations of Mathematics 141]
(v. aussi : Categorical Type Theory, la thèse de doctorat de l'auteur à l'Université de Nimègue, sous la direction de Henk Barendregt & Ieke Moerdijk, [septembre] 1991) [en]Jean-Yves Girard Marseille / France
- Lectures on the Curry-Howard Isomorphism
[Datalogisk Institut, Copenhague, 1998]
Elsevier Science, Amsterdam etc. 2006 [456 p.]
[Studies in Logic and the Foundations of Mathematics 149]
(notes de cours : DIKU, Université de Copenhague, 1998; v. aussi Technical Report 98/14, Datalogisk Institut [DIKU], Université de Copenhague, [mai] 1998) [en]Henk Barendregt, Wil Dekkers Nijmegen / Pays-Pas Rick Statman Pittsburgh / PA et al.
- Le Point aveugle
[Università di Roma 3, Rome, 2004]
Editions Hermann, Paris 2006-2007 [Collection Visions des sciences]
(notes de cours : Università di Roma 3, octobre-decembre, 2004) [fr]
- Le Point aveugle, Cours de logique, Tome 1 : Vers la perfection, Editions Hermann, Paris 2006 [280 p.]
- Le Point aveugle, Cours de logique, Tome 2 : Vers l'imperfection, Editions Hermann, Paris 2007 [568 p.]
- The Blind Spot: Lectures on Proof Theory
[Università di Roma 3, Rome, 2004; Institut de Mathématiques de Luminy, Marseille, 2011]
European Mathematical Society, ETH Zurich 2011 [537 p.]
(révision des notes de cours : Università di Roma 3, octobre-decembre, 2004) [en]
- Lambda Calculus with Types
[Radboud Universiteit, Nijmègue, Carnegie Mellon University, Pittsburgh PA etc.]
Cambridge University Press, Cambridge UK and Association for Symbolic Logic, New York 2013 [857 p.]
[Collection Perspectives in Logic]
(v. aussi Lambda calculus with types, Radboud Universiteit, Nijmègue, [septembre] 2010) [en]
© 2010-2013 équivalences |