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

Published: 1995-01-13