A General Adequacy Result for a Linear Functional Language (1994)

Cached

Download Links

by Torben Braüner
Venue:BRICS Research Series
Citations:4 - 1 self