scientific article; zbMATH DE number 4120168

zbMATH Open0684.03025MaRDI QIDQ4733863FDOQ4733863

Authors: Thomas Streicher 

Publication date: 1988

Title of this publication is not available (Why is that?)

Recommendations

• Dependence and independence results for (impredicative) calculi of dependent types
• Revisiting the categorical interpretation of dependent type theory
• Independence results for calculi of dependent types
• scientific article; zbMATH DE number 1241699
• Categorical semantics for higher order polymorphic lambda calculus

zbMATH Keywords

term modelcalculus of constructionspolymorphic lambda calculuscontextual categoriescalculi of dependent types

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Combinatory logic and lambda calculus (03B40) Metamathematics of constructive systems (03F50) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Abstract data types; algebraic specification (68Q65) Second- and higher-order arithmetic and fragments (03F35)

Cited In (18)

• On explicit substitutions and names (extended abstract)
• Independence results for calculi of dependent types
• Title not available (Why is that?)
• Dependence and independence results for (impredicative) calculi of dependent types
• Title not available (Why is that?)
• Title not available (Why is that?)
• Inheritance as implicit coercion
• Proving strong normalization of CC by modifying realizability semantics
• Alpha conversion, conditions on variables and categorical logic
• Comprehension categories and the semantics of type dependency
• Revisiting the categorical interpretation of dependent type theory
• Products of families of types and (Pi,lambda)-structures on C-systems
• Dictoses
• CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES
• Proof-search in type-theoretic languages: An introduction
• Title not available (Why is that?)
• Title not available (Why is that?)
• A higher-order calculus and theory abstraction

This page was built for publication:

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