scientific article; zbMATH DE number 4027461

MaRDI QIDQ3768897zbMATH OpenFDO

Authors Adrian Rezuş

Publication date 1986

zbMATH Keywords

lambda- calculusMartin-Löf's constructive type theoryPlotkin's graph modelpolymorphic typed languagesstrict closure semantics

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Metamathematics of constructive systems (03F50)

Recommendations

• scientific article; zbMATH DE number 226803
• A construction of type: type in Martin-Löf's partial type theory with one universe
• scientific article; zbMATH DE number 1302063
• Domain interpretations of Martin-Löf's partial type theory
• An interpretation of Martin-Löf's type theory in a type-free theory of propositions

Cited in

(10)

• On the syntax of Martin-Löf's type theories
• Setoid type theory -- a syntactic translation
• Type theory and language constructs for objects with states
• scientific article; zbMATH DE number 6680163 (Why is no real title available?)
• Semantics for classical AUTOMATH and related systems
• An interpretation of Martin-Löf's type theory in a type-free theory of propositions
• Constructive Sheaf Semantics
• scientific article; zbMATH DE number 1927416 (Why is no real title available?)
• scientific article; zbMATH DE number 226803 (Why is no real title available?)
• Domain interpretations of Martin-Löf's partial type theory

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 Q3768897)