A theory of classes: proofs and models

DOI10.1017/S0960129596002125zbMath0882.03051OpenAlexW2165718795MaRDI QIDQ4340496

Barnaby P. Hilken, David E. 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

programming languagesintuitionistic logiccategorical semanticsdeductive systemtype classes\(\beta\eta\)-normal forms of termscalculus of realizations

Mathematics Subject Classification ID

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

Related Items (2)

Constructive Game Logic ⋮ Prospects for a naive theory of classes

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