Nr. 13 (1995): RS-13 The Girard Translation Extended with Recursion

Publiceret: 1995-01-13