An Adequate Left-Associated Binary Numeral System in the Lambda-Calculus

(brics.dk)

1 points | by todsacerdoti 12 hours ago ago

No comments yet.