Linear Type Theories, Semantics and Action Calculi (1997)

by Andrew G Barber