A typed calculus based on a fragment of linear logic (1989)

by U Solitro
Venue:Theoretical Computer Science