000			01034cam a22001934a 4500
005			20250605164127.0
008			250528s ||||||||||||||||||||||||d
035			_a18498
020			_a444867481
040			_aGR-AtMCL _bgre _dGR-AtMCL _eAACR2
245	1		_aThe Lambda Calculus / Its Syntax and Semantics
260			_bElsevier Science Publishers B.V, _c1985
300			_a624
520			_aPreface, Introduction, Conversion, Reduction, Theories, Models, Conversion, Classical Lambda Calculus, The Theory of Combinators, The λ I-Calculus, Bohm Trees, Reduction, Fundamental Theorems, Strongly Equivalent Reductions, Reduction Strategies, Labelled Reduction, Other Notions of Reduction, Other Lambda Theories, Models, Construction of Models, Local Structure of Models, Global Structure of Models, Combinatory Groups, Appendices, Typed Lambda. Illative Combinatory Logic, Variables, Reference, Index of Names and Definitions and Symbols.
700	1		_aBarendregt H. P. _94760
942			_cBK
999			_c3856 _d3856