19 search results - page 1 / 4 » Categorical Models for Simply Typed Resource Calculi |
ENTCS
2010
13 years 5 months ago
2010
ICALP
2004
Springer
13 years 10 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...
CSL
1997
Springer
13 years 9 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...
ACS
2005
13 years 4 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...
IMPERIAL
1993
13 years 9 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...