In the Search of a Naive Type Theory
From MaRDI portal
Publication:3499754
DOI10.1007/978-3-540-68103-8_8zbMath1138.03311OpenAlexW1875040660MaRDI QIDQ3499754
Paweł Urzyczyn, Agnieszka Kozubek
Publication date: 3 June 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-68103-8_8
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Lectures on the Curry-Howard isomorphism
- The seven virtues of simple type theory
- A simple type theory with partial functions and subtypes
- Typed lambda calculi and applications. 2nd international conference, TLCA '95, Edinburgh, GB, April 10--12, 1995. Proceedings
- An introduction to mathematical logic and type theory: To truth through proof.
- On the consistency of a slight (?) modification of Quine's 'New Foundations'
- Types in Logic and Mathematics before 1940
- Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory
- Automated Reasoning
- A partial functions version of Church's simple theory of types
- A formulation of the simple theory of types
This page was built for publication: In the Search of a Naive Type Theory
