Proof search for programming in intuitionistic linear logic (1994)

by D Galmiche, E Boudinet
Venue:CADE-12 Workshop on Proof Search in Type-Theoretic Languages