680 search results - page 28 / 136 » Types for the Ambient Calculus |
CORR
2006
Springer
13 years 7 months ago
2006
Springer
: This paper is concerned with the foundations of the Calculus of Algebraic Constructions (CAC), an extension of the Calculus of Constructions by inductive data types. CAC generali...
ASIAN
2007
Springer
14 years 1 months ago
2007
Springer
ESOP
2003
Springer
14 years 28 days ago
2003
Springer
TIC
1998
Springer
13 years 12 months ago
1998
Springer
POPL
1994
ACM
13 years 11 months ago
1994
ACM