Sciweavers

Share
2 search results - page 1 / 1
» Step Indexed Realizability Semantics for a Call-by-Value Lan...
Sort
View
LICS
2012
IEEE
6 years 11 months ago
Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects
—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...
Naohiko Hoshino
NIPS
2001
8 years 10 months ago
Constructing Distributed Representations Using Additive Clustering
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...
Wheeler Ruml
books