324 search results - page 1 / 65 » Towards a type theory of contexts |
ICFP
2005
ACM
14 years 4 months ago
2005
ACM
ENTCS
2008
13 years 4 months ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
JAR
2007
13 years 4 months ago
2007
Abstract. We illustrate a methodology for formalizing and reasoning about Abadi and Cardelli’s object-based calculi, in (co)inductive type theory, such as the Calculus of (Co)Ind...
JITECH
2008
13 years 4 months ago
2008
: The use of information technology (IT) in organizations has undergone dramatic changes the past 30 years. As a result, it has become increasingly common to adopt a services rathe...
PERCOM
2004
ACM
14 years 4 months ago
2004
ACM
This paper proposes initial steps towards a conceptual framework for context-aware systems. It is an attempt towards a general context model to aid thinking and describing context...