No. 1 (2005): RS-1 On the Recursive Enumerability of Fixed-Point Combinators

Published: 2005-01-01