324 search results - page 1 / 65 » Towards a type theory of contexts |
86
Voted
ICFP
2005
ACM
15 years 10 months ago
2005
ACM
85
Voted
ENTCS
2008
14 years 10 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 ...
97
Voted
JAR
2007
14 years 10 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...
75
Voted
JITECH
2008
14 years 10 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...
108
click to vote
PERCOM
2004
ACM
15 years 9 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...