scientific article; zbMATH DE number 517051

zbMath0794.03096MaRDI QIDQ4282579

Eugenio Moggi, Thomas Streicher, Bart Jacobs

Publication date: 17 March 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

fibrationscategorical semanticsCalculus of Constructionscomprehension categoriesHigher Order \(\lambda\)-calculus \(F\omega\)Higher Order MLimpredicative type theoriestwo-level type theory

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Second- and higher-order arithmetic and fragments (03F35) Combinatory logic and lambda calculus (03B40)

Related Items (2)

V-comprehensions and P space ⋮ Comprehension categories and the semantics of type dependency

This page was built for publication: