1670 search results - page 32 / 334 » On Skolemization in constructive theories |
ECAL
2005
Springer
13 years 10 months ago
2005
Springer
Jakob von Uexk¨ull’s theory of the Umwelt is described and it is used to show how perceptual states can be defined. It is described how perceptual cues are selected over evolut...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
: Meroitic is the still undeciphered language of the ancient civilization of Kush. Over the years, various techniques for decipherment such as finding a bilingual text or cognates ...
LICS
1999
IEEE
14 years 21 days ago
1999
IEEE
We present a new approach to introducing an extensional propositional equality in Intensional Type Theory. Our construction is based on the observation that there is a sound, inte...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
ER
2009
Springer
13 years 6 months ago
2009
Springer
: Conceptual modelling is a widely applied practice and has led to a large body of knowledge on constructs that might be used for modelling and on methods that might be useful for ...