3710 search results - page 14 / 742 » A new calculus of contexts |
103
click to vote
TCS
2011
14 years 6 months ago
2011
A new complete characterization of β-strong normalization is given, both in the classical and in the lazy λ-calculus, through the notion of potential valuability inside two suit...
104
click to vote
RTA
2007
Springer
15 years 5 months ago
2007
Springer
We present a method of lifting to explicit substitution calculi some characterizations of the strongly normalizing terms of λ-calculus by means of intersection type systems. The m...
FMOODS
2007
15 years 1 months ago
2007
The Pict programming language is an implementation of the π-calculus in which executions of π-calculus terms are specified via an abstract machine. An important property of any ...
MRCO
2005
Springer
15 years 5 months ago
2005
Springer
This paper proposes a component-based architecture and development methodology for context-aware systems. A context is formally defined from relational point of view. The architec...
SAC
2005
ACM
15 years 5 months ago
2005
ACM
In this paper we present MoCha-π, an exogenous coordination calculus that is based on mobile channels. A mobile channel is a coordination primitive that allows anonymous point-to...