397 search results - page 64 / 80 » The lambda calculus is algebraic |
106
click to vote
WOLLIC
2010
Springer
15 years 2 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...
CORR
2010
Springer
14 years 9 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...
87
Voted
GECCO
2009
Springer
15 years 2 months ago
2009
Springer
The synthesis of stochastic processes using genetic programming is investigated. Stochastic process behaviours take the form of time series data, in which quantities of interest v...
ENTCS
2002
14 years 9 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
CONCUR
2001
Springer
15 years 2 months ago
2001
Springer
It has long been recognised that standard process algebra has difficulty dealing with actions of different priority, such as for instance an interrupt action of high priority. Va...