Tilbage til artikeldetaljer A General Adequacy Result for a Linear Functional Language Download Download PDF