184 search results - page 18 / 37 » Towards Formalizing Categorical Models of Type Theory in Typ... |
TAL
2010
Springer
13 years 3 months ago
2010
Springer
This paper provides a linguistic semantic analysis of time and aspect in natural languages. On the basis of topological concepts, notions are introduced like the basic aspectual op...
ICDT
2010
ACM
14 years 1 months ago
2010
ACM
We examine schema mappings from a type-theoretic perspective and aim to facilitate and formalize the reuse of mappings. Starting with the mapping language of Clio, we present a ty...
CAISE
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. Parthood is a relation of fundamental importance in a number of disciplines including cognitive science, linguistics and conceptual modeling. However, one classical probl...
PG
1997
IEEE
14 years 4 days ago
1997
IEEE
We discuss the theory and practical issues behind creating reflection models to show the difficulty of the problem. We survey the current approaches towards reflection models for ...
EMSOFT
2005
Springer
14 years 2 months ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...