Is there a use for linear logic? (1991)

by Philip Wadler
Citations:89 - 7 self