scientific article; zbMATH DE number 1086666

zbMATH Open0881.03005MaRDI QIDQ4362916

Herman Geuvers

Publication date: 13 November 1997

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

zbMATH Keywords

modelsinhabitationsecond order predicate logiccompleteness of the formulas-as-types embeddingsecond order dependent type theory

Mathematics Subject Classification ID

Second- and higher-order model theory (03C85) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Second order isomorphic types: A proof theoretic study on second order \(\lambda\)-calculus with surjective pairing and terminal object ⋮ Transfinite type theory and provability of second order formulas

Uses Software

• Automath

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