Towards a theory of type structure

1974/01/01 by John Reynolds, John C. Reynolds · 7 citations
Mathematics · #Computer science #Geology #Homotopy and Cohomology in Algebraic Topology #Theoretical computer science #Type (biology) #Type theory

paper · doi:10.1007/3-540-06859-7_148

crossref issued 1974/01/01 · crossref published 1974/01/01 · crossref published-print 1974/01/01 · openalex publication_date 1974/01/01 · crossref published-online 2005/06/20 · crossref created 2011/08/18 · crossref deposited 2025/03/08 · openalex created_date 2025/10/10 · crossref indexed 2026/07/16 · openalex updated_date 2026/07/29

Cited by

• Simple Type Theory with Undefinedness, Quotation, and Evaluation
• Higher-order Context-free Session Types in System F
• Incorporating quotation and evaluation into Church's type theory
• Normalisation of a Non-deterministic Type Isomorphic λ-calculus
• Formalized Proof Systems for Propositional Logic
• A Constructive Logic with Classical Proofs and Refutations (Extended Version)
• Parametric polymorphism [wikipedia]