No. 5 (1996): RS-5 Gödelisation in the lambda-Calculus (Extended Version)

Published: 1996-01-05