Nr. 6 (1996): RS-6 An Adequate Left-Associated Binary Numeral System in the lambda-Calculus (Revised Version)

Publiceret: 1996-01-06

Artikler