Nr. 42 (1995): RS-42 An Adequate Left-Associated Binary Numeral System in the lambda-Calculus

Publiceret: 1995-06-12

Artikler