660 search results - page 37 / 132 » The Implicit Calculus of Constructions |
146
click to vote
ALS
2003
Springer
15 years 10 months ago
2003
Springer
The central question in this paper is: Who (or what) constructs anticipations? I challenge the (tacit) assumption of Rosen’s standard definition of anticipatory systems according...
254
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...
134
click to vote
ENTCS
1998
15 years 5 months ago
1998
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...
174
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
245
click to vote
TABLEAUX
2009
Springer
15 years 12 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...