288 search results - page 3 / 58 » Nominal Game Semantics |
COLING
1990
13 years 7 months ago
1990
COLING
1996
13 years 7 months ago
1996
A domain independent model is proposed for the automated interpretation of nominal compounds in English. This model is meant to account for productive rules of interpretation whic...
LICS
2009
IEEE
14 years 26 days ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
TLCA
2005
Springer
13 years 11 months ago
2005
Springer
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
INFOVIS
2003
IEEE
13 years 11 months ago
2003
IEEE
Data sets with a large number of nominal variables, some with high cardinality, are becoming increasingly common and need to be explored. Unfortunately, most existing visual explo...