7 search results - page 1 / 2 » tlca 2001 |
TLCA
2001
Springer
13 years 10 months ago
2001
Springer
TLCA
2001
Springer
13 years 10 months ago
2001
Springer
TLCA
2001
Springer
13 years 10 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 10 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 10 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...