Searching for "The Calculus of Constructions" – sorted by Relevance.
719 documents found, showing 1 through 10.
Next 10 →
-
Definitions by Rewriting in the Calculus of Constructions
- …Definitions by Rewriting in the Calculus of Constructions Fr'ed'eric Blanqui LRI, bat. 490…
- Cited by 24 (5 self) – Add To MetaCart
-
Extensionality in the calculus of constructions
- …Extensionality in the Calculus of Constructions Nicolas Oury Laboratoire de Recherche en…
- Cited by 4 (0 self) – Add To MetaCart
-
ECC, an Extended Calculus of Constructions
- …ECC, an Extended Calculus of Constructions Zhaohui Luo Department of Computer Science…
- Add To MetaCart
-
An Extended Calculus of Constructions
- …An Extended Calculus of Constructions Zhaohui Luo Ph. D. University of Edinburgh 1990 Abstract…
- Cited by 73 (4 self) – Add To MetaCart
-
Coercive Subtyping for the Calculus of Constructions
- …Coercive Subtyping for the Calculus of Constructions (extended abstract) Gang Chen£ Computer…
- Add To MetaCart
-
Partial Objects in the Calculus of Constructions
- …Partial Objects in the Calculus of Constructions Philippe Audebaud LaBRI - UFR Mathematiques…
- Cited by 17 (1 self) – Add To MetaCart
-
Explicit Universes for the Calculus of Constructions
- …Explicit Universes for the Calculus of Constructions Judical Courant Laboratoire de Recherche en…
- Cited by 5 (0 self) – Add To MetaCart
-
Inductively defined types in the calculus of constructions
- …Inductively Defined Types in the Calculus of Constructions Frank Pfenning Christine Paulin…
- Cited by 33 (2 self) – Add To MetaCart
-
The Calculus of Constructions and Higher Order Logic
- …The Calculus of Constructions and Higher Order Logic Herman Geuvers, Faculty of Mathematics…
- Cited by 5 (0 self) – Add To MetaCart
-
Induction principles formalized in the Calculus of Constructions
- …Abstract Induction Principles Formalized in the Calculus of Constructions 1 Gérard Huet INRIA 2…
- Cited by 10 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
