Applications of Linear Logic to Computation: An Overview (1994)

by V Alexiev
Venue:28 LABELLED DEDUCTION