265 search results - page 49 / 53 » Lambda calculus with patterns |
COORDINATION
2008
Springer
13 years 9 months ago
2008
Springer
Recently, specific attention has been devoted to the development of service oriented process calculi. Besides the foundational aspects, it is also interesting to have prototype imp...
LMO
1996
13 years 8 months ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
LICS
2007
IEEE
14 years 1 months ago
2007
IEEE
Higher-order matching is the problem given t = u where t, u are terms of simply typed λ-calculus and u is closed, is there a substitution θ such that tθ and u have the same nor...
LPAR
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. Matching is a basic operation extensively used in computation. Second-order matching, in particular, provides an adequate environment for expressing program transformatio...
ENTCS
2008
13 years 7 months ago
2008
This paper presents a game semantics for a simply-typed -calculus equipped with quantum stores. The quantum stores are equipped with quantum operations as commands which give the ...