Braüner T. The Girard Translation Extended with Recursion. BRICS [Internet]. 13. januar 1995 [henvist 19. oktober 2024];2(13). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/19882