19 search results - page 1 / 4 » Categorical Models for Simply Typed Resource Calculi |
80
Voted
ENTCS
2010
15 years 2 months ago
2010
103
Voted
ICALP
2004
Springer
15 years 8 months ago
2004
Springer
We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predica...
139
Voted
CSL
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
122
Voted
ACS
2005
15 years 2 months ago
2005
There are several kinds of linear typed calculus in the literature, some with their associated notion of categorical model. Our aim in this paper is to systematise the relationshi...
134
Voted
IMPERIAL
1993
15 years 6 months ago
1993
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...