2 search results - page 1 / 1 » Step Indexed Realizability Semantics for a Call-by-Value Lan... |
LICS
2012
IEEE
12 years 11 days ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
NIPS
2001
13 years 11 months ago
2001
If the promise of computational modeling is to be fully realized in higherlevel cognitive domains such as language processing, principled methods must be developed to construct th...