Is there a use for linear logic? (1991)

by Philip Wadler
Citations:88 - 7 self