Braüner T. A General Adequacy Result for a Linear Functional Language. BRICS [Internet]. 3. august 1994 [henvist 19. oktober 2024];1(22). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21645