Action calculi, introduced by Milner, provide a framework for investigating models of interaction. This talk will focus on the connection between action calculi and known concepts arising from type theory. The aim of this work is to isolate what is distinctive about action calculi, and to investigat
A Model-Theoretic Description of Tree Adjoining Grammars
✍ Scribed by Frank Morawietz; Uwe Mönnich
- Publisher
- Elsevier Science
- Year
- 2004
- Tongue
- English
- Weight
- 304 KB
- Volume
- 53
- Category
- Article
- ISSN
- 1571-0661
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
## Abstract Through a series of simulation experiments in the laboratory on the broad‐leaved tree __Acer mono__ Maxim, we obtain interception datasets of individual events under different rainfall intensities and leaf area indexes (LAIs). Based on the data, the relationship between rainfall intensi
The closest tree algorith¢a for estimating the evolutionary history of n species, from a set of homologous DNA or RNA sequences is designed to avoid the problem of inconsistency inherent in current methods. The algorithm, as previously described, required O(n~2 n) steps, making it impractical for va
In this paper, we prove that every recursively enumerable language can be generated by a scattered context grammar with a reduced number of both nonterminals and context-sensing productions.