In the Search of a Naive Type Theory

DOI10.1007/978-3-540-68103-8_8MaRDI QIDQ3499754zbMATH OpenOpenAlexFDO

Authors Agnieszka Kozubek, Paweł Urzyczyn

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 2110617
• scientific article; zbMATH DE number 1302065
• Do-it-yourself type theory
• A simple type theory with partial functions and subtypes
• Publication:4944846

Cites work

• scientific article; zbMATH DE number 2185650 (Why is no real title available?)
• scientific article; zbMATH DE number 2185666 (Why is no real title available?)
• scientific article; zbMATH DE number 3142195 (Why is no real title available?)
• scientific article; zbMATH DE number 3735770 (Why is no real title available?)
• scientific article; zbMATH DE number 108365 (Why is no real title available?)
• scientific article; zbMATH DE number 2110617 (Why is no real title available?)
• scientific article; zbMATH DE number 862507 (Why is no real title available?)
• A formulation of the simple theory of types
• A partial functions version of Church's simple theory of types
• A simple type theory with partial functions and subtypes
• An introduction to mathematical logic and type theory: To truth through proof.
• Automated Reasoning
• 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
• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• The seven virtues of simple type theory
• Typed lambda calculi and applications. 2nd international conference, TLCA '95, Edinburgh, GB, April 10--12, 1995. Proceedings
• Types in Logic and Mathematics before 1940
• Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory

Cited in

(10)

• A modern perspective on type theory. From its origins until today
• Naïve Type Theory
• scientific article; zbMATH DE number 2110617 (Why is no real title available?)
• scientific article; zbMATH DE number 785045 (Why is no real title available?)
• Nominalistic logic: from naive set theory to intensional type theory
• The underdetermination of typings
• Shallow embedding of type theory is morally correct
• Discussion on: ``On Aizerman's type problem for neutral type systems
• Two algorithms in search of a type-system
• Type theory should eat itself

This page was built for publication: In the Search of a Naive Type Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3499754)