385 search results - page 53 / 77 » Extensionality in the Calculus of Constructions |
147
click to vote
APLAS
2009
ACM
16 years 18 days ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
124
click to vote
FOSSACS
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. System L is a linear λ-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of G¨odel’s Sy...
163
click to vote
CSL
2005
Springer
15 years 11 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
130
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present the first complete problems for dynamic complexity classes including the classes Dyn-FO and Dyn-ThC ¢ , the dynamic classes corresponding to relational calculus and (...
180
click to vote
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...