Calculus of constructions
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2005
2005
- TPHOLs
- 2005
This paper presents a method to translate a proof in an extensional version of the Calculus of Constructions into a proof in the… (More)
Is this relevant?
2003
2003
- POPL
- 2003
We present a coercive subtyping system for the calculus of constructions. The proposed system λ<i>C</i><sup><i>CO</i></sup… (More)
Is this relevant?
2001
2001
- TLCA
- 2001
In this paper, we introduce a new type system, the Implicit Calculus of Constructions, which is a Curry-style variant of the… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
- LICS
- 2001
The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with… (More)
Is this relevant?
1999
1999
- RTA
- 1999
This paper is concerned with the foundations of the Calculus of Algebraic Constructions (CAC), an extension of the Calculus of… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
- LICS
- 1991
We present algorithms for unification and antiunification in the Calculus of Constructions, where occurrences of free variables… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
- 1990
This thesis presents and studies a unifying theory of dependent types ECC | Extended Calculus of Constructions. ECC integrates… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
- POPL
- 1989
We define in this paper a notion of realizability for the Calculus of Constructions. The extracted programs are terms of the… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
- LICS
- 1989
We present a higher-order calculus ECC which can be seen as an extension of the calculus of constructions CH88] by adding strong… (More)
Is this relevant?
Highly Cited
1988