In the Search of a Naive Type Theory

DOI10.1007/978-3-540-68103-8_8zbMATH Open1138.03311OpenAlexW1875040660MaRDI QIDQ3499754FDOQ3499754

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

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

• An introduction to mathematical logic and type theory: To truth through proof.
• Lectures on the Curry-Howard isomorphism
• Title not available (Why is that?)
• A formulation of the simple theory of types
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Title not available (Why is that?)
• Title not available (Why is that?)
• A simple type theory with partial functions and subtypes
• Automated Reasoning
• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory
• Typed lambda calculi and applications. 2nd international conference, TLCA '95, Edinburgh, GB, April 10--12, 1995. Proceedings
• The seven virtues of simple type theory
• Title not available (Why is that?)
• A partial functions version of Church's simple theory of types
• Title not available (Why is that?)
• Title not available (Why is that?)
• Types in Logic and Mathematics before 1940
• Title not available (Why is that?)

Cited In (9)

• Title not available (Why is that?)
• Discussion on: ``On Aizerman's type problem for neutral type systems
• The underdetermination of typings
• Two algorithms in search of a type-system
• Title not available (Why is that?)
• Shallow embedding of type theory is morally correct
• Type theory should eat itself
• A modern perspective on type theory. From its origins until today
• Nominalistic logic: from naive set theory to intensional type theory

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)