Cover Image
Read Now

1
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... of exponential types in linear logic -- A syntax for linear logic -- A complete axiomatisation for trace...”