324 search results - page 4 / 65 » Towards a type theory of contexts |
CSL
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
CALCO
2005
Springer
14 years 1 months ago
2005
Springer
We consider open terms and parametric rules in the context of the systematic derivation of labelled transitions from reduction systems.
WWW
2004
ACM
14 years 8 months ago
2004
ACM
In this paper, we present a context framework that facilitates the development and deployment of context-aware adaptable Web services. Web services are provided with context infor...
APAL
2011
13 years 2 months ago
2011
The Suslin operator E1 is a type-2 functional testing for the wellfoundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoret...
CIE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...