385 search results - page 6 / 77 » Extensionality in the Calculus of Constructions |
PROCOMET
1998
13 years 8 months ago
1998
A convention is proposed for embedding program statements into Dijkstra's calculus, with the aim of simplifying the stepwise construction of programs.
LICS
2012
IEEE
11 years 9 months ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
MFCS
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We recently introduced an extensional model of the pure λcalculus living in a cartesian closed category of sets and relations. In this paper, we provide sufficient condi...
AINA
2009
IEEE
14 years 2 months ago
2009
IEEE
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...
APAL
2011
13 years 2 months ago
2011
We formalize the construction of Paterson’s variant of the Ajtai–Koml´os–Szemer´edi sorting network of logarithmic depth in the bounded arithmetical theory VNC1 ∗ (an ex...