7 search results - page 1 / 2 » tlca 2001 |
TLCA
2001
Springer
13 years 9 months ago
2001
Springer
TLCA
2001
Springer
13 years 9 months ago
2001
Springer
TLCA
2001
Springer
13 years 9 months ago
2001
Springer
We extend the modal logic of ambients described in [7] to the full ambient calculus, including name restriction. We introduce logical operators that can be used to make assertions ...
TLCA
2001
Springer
13 years 9 months ago
2001
Springer
Using methods drawn from Game Semantics, we build a sound and computationally adequate model of a simple calculus that includes both subtyping and recursive types. Our model solves...
TLCA
2001
Springer
13 years 9 months ago
2001
Springer
We introduce λµ→∧∨⊥ , an extension of Parigot’s λµ-calculus where disjunction is taken as a primitive. The associated reduction relation, which includes the permutati...