The Lambda Calculus. Its Syntax and Semantics by Henk Barendregt (English) Paper
25,58 €
By Henk Barendregt. Author Henk Barendregt. The Lambda Calculus. In the parts conversion, reduction, theories, and models the view is respectively 'algebraic', computational, with more ('coinductive') identifications, and finally set-theoretic.
Jetzt bei Ebay:
