376 search results - page 42 / 76 » Developing Theories of Types and Computability via Realizabi... |
IFIP
2004
Springer
14 years 29 days ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
TLCA
2009
Springer
14 years 2 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
KR
1992
Springer
13 years 11 months ago
1992
Springer
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...
ICAI
2008
13 years 9 months ago
2008
coarse procedures or very abstract frames from the point of view of algorithm, because some crucial issues like the representation, evolution, storage, and learning process of conc...
CHI
2008
ACM
13 years 9 months ago
2008
ACM
In this paper we describe the development of a platform that enables us to systematically study online social networks alongside their real-world counterparts. Our system, entitle...