No. 38 (1995): RS-38 Gödelisation in the lambda-Calculus

Published: 1995-06-08