A theory of classes: proofs and models

DOI10.1017/S0960129596002125MaRDI QIDQ4340496zbMATH OpenOpenAlexFDO

Authors Barnaby P. Hilken, David Rydeheard

Publication date 12 March 1998

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129596002125

zbMATH Keywords

\(\beta\eta\)-normal forms of termscalculus of realizationscategorical semanticsdeductive systemintuitionistic logicprogramming languagestype classes

Mathematics Subject Classification ID

Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Categorical logic, topoi (03G30) Theory of programming languages (68N15)

Recommendations

• scientific article; zbMATH DE number 515740
• scientific article; zbMATH DE number 92598
• scientific article; zbMATH DE number 176139
• Proof-theoretic semantics for classical mathematics

Cited in

(6)

• Classification theory over a predicate. I
• Prospects for a naive theory of classes
• Proof-theoretic semantics for classical mathematics
• scientific article; zbMATH DE number 176139 (Why is no real title available?)
• scientific article; zbMATH DE number 515740 (Why is no real title available?)
• Constructive game logic

This page was built for publication: A theory of classes: proofs and models

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