Nr. 22 (1994): RS-22 A General Adequacy Result for a Linear Functional Language

Publiceret: 1994-08-02

Artikler