scientific article
From MaRDI portal
Publication:3784072
zbMath0643.03050MaRDI QIDQ3784072
Thierry Coquand, Thomas Ehrhard
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
higher-order logicfibrationindexed categoryequational presentationhigher-order type systempolymorphic \(\lambda \)-calculussemantics of F\(\omega \)
Specification and verification (program logics, model checking, etc.) (68Q60) Categorical logic, topoi (03G30) Fibered categories (18D30) Second- and higher-order arithmetic and fragments (03F35) Combinatory logic and lambda calculus (03B40)
Related Items (8)
E-ccc: between ccc and topos, - its expressive power from the viewpoint of data type theory ⋮ Alpha conversion, conditions on variables and categorical logic ⋮ Inheritance as implicit coercion ⋮ Categorical models of polymorphism ⋮ Categories of embeddings ⋮ Infinite hypergraphs. I: Basic properties ⋮ Domain theoretic models of polymorphism ⋮ Unnamed Item
This page was built for publication:
