156
Voted
IMPERIAL
1993
15 years 11 months ago
1993
164
Voted
IMPERIAL
1993
15 years 11 months ago
1993
180
click to vote
IMPERIAL
1993
15 years 11 months ago
1993
The salient feature of the composition operators for Gamma programs is that for termination, the parallel composition operator demands that its operands must terminate synchronous...
219
Voted
IMPERIAL
1993
15 years 11 months ago
1993
We describe some ideas and results about the following problem: Given a set, a family of \preference relations" on the set, and a \priority" among those preference relat...
210
click to vote
IMPERIAL
1993
15 years 11 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...