1071 search results - page 34 / 215 » The Calculus of Algebraic Constructions |
IEICET
2010
13 years 8 months ago
2010
JCST
2011
13 years 4 months ago
2011
FM
1994
Springer
14 years 1 months ago
1994
Springer
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, mess...
CSL
2002
Springer
13 years 9 months ago
2002
Springer
Abstract. We give a simple term calculus for the multiplicative exponential fragment of Classical Linear Logic, by extending Barber and Plotkin's system for the intuitionistic...
VMCAI
2010
Springer
14 years 4 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...