17 search results - page 1 / 4 » Recursive Types in Games: Axiomatics and Process Representat... |
99
Voted
LICS
1998
IEEE
15 years 6 months ago
1998
IEEE
127
Voted
FOSSACS
2009
Springer
15 years 9 months ago
2009
Springer
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...
108
Voted
APLAS
2003
ACM
15 years 7 months ago
2003
ACM
When constructing programs to process XML documents, we immediately face the question as to how XML documents should be represented internally in the programming language we use. C...
100
Voted
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
We show how the binary encoding and decoding of typed data and typed programs can be understood, programmed, and verified with the help of question-answer games. The encoding of a...
122
click to vote
EACL
1993
ACL Anthology
15 years 3 months ago
1993
ACL Anthology
The formal architecture of Lexical Functional Grammar offers a particular formal device, the structural correspondence, for modularizing the mapping between the surface forms of a...