3583 search results - page 25 / 717 » A Type System for the Relational Calculus of Object Systems |
175
click to vote
LFCS
1992
Springer
15 years 9 months ago
1992
Springer
This paper addresses the problem of extending the formulae-as-types principle to classical logic. More precisely, we introduce a typed lambda-calculus (-LK ) whose inhabited types...
148
click to vote
TACS
2001
Springer
15 years 9 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
119
click to vote
JUCS
2002
15 years 4 months ago
2002
: Our work is concerned with the design of a knowledge-based system for recognizing agricultural landscape models on land-use maps. Landscape models are defined as sets of spatial ...
158
click to vote
RTA
2007
Springer
15 years 11 months ago
2007
Springer
We present a method of lifting to explicit substitution calculi some characterizations of the strongly normalizing terms of λ-calculus by means of intersection type systems. The m...
131
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...