1071 search results - page 70 / 215 » The Calculus of Algebraic Constructions |
305
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
Defunctionalization is a program transformation that aims to turn a higher-order functional program into a first-order one, that is, to eliminate the use of functions as first-cla...
201
click to vote
WOLLIC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The intruder deduction problem for an electronic purse protocol with blind signatures is considered. The algebraic properties of the protocol are modeled by an equational...
129
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinati...
185
click to vote
CALCO
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. We use coalgebraic methods to describe finitely generated free Heyting algebras. Heyting algebras are axiomatized by rank 0-1 axioms. In the process of constructing free...
267
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...