1071 search results - page 34 / 215 » The Calculus of Algebraic Constructions |
95
Voted
IEICET
2010
15 years 4 months ago
2010
145
Voted
FM
1994
Springer
15 years 9 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...
149
click to vote
CSL
2002
Springer
15 years 5 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...
176
click to vote
VMCAI
2010
Springer
16 years 15 days 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...