IMPERIAL 1993 | Sciweavers

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...

David Sands

claim paper

Read More »

33

click to vote

IMPERIAL
1993

133views Formal Methods» more IMPERIAL 1993»

Prioritising Preference Relations

14 years 3 months ago

Download www.cs.bham.ac.uk

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...

Mark Ryan

claim paper

Read More »

25

click to vote

IMPERIAL
1993

74views Formal Methods» more IMPERIAL 1993»

Product Operations in Strong Monads

14 years 3 months ago

Download reference.kfupm.edu.sa

Reinhold Heckmann

claim paper

Read More »

22

click to vote

IMPERIAL
1993

86views Formal Methods» more IMPERIAL 1993»

Modelling SIGNAL in Interaction Categories

14 years 3 months ago

Download www.dcs.gla.ac.uk

Simon J. Gay, Rajagopal Nagarajan

claim paper

Read More »

42

click to vote

IMPERIAL
1993

195views Formal Methods» more IMPERIAL 1993»

Deriving Category Theory from Type Theory

14 years 3 months ago

Download www.cs.le.ac.uk

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...

Roy L. Crole

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers