Mediterranean College

Κατάλογος Βιβλιοθηκών Mediterranean College

Image from OpenLibrary

The Lambda Calculus / Its Syntax and Semantics

Contributor(s): Material type: TextPublication details: Elsevier Science Publishers B.V, 1985Description: 624ISBN:
  • 444867481
Summary: Preface, 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)

Preface, 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.

There are no comments on this title.

to post a comment.

MC Athens Campus Library
Πατησίων 94 & Κοδριγκτώνος 13, 104 34
Πελλήνης 8 & Πατησίων 107, 112 51
Τ: +30 210 8899600

MC Thessaloniki Campus Library
Ίωνος Δραγούμη 21, 54625 | Ίωνος Δραγούμη 15, 54625
Τ: +30 2310 287779 – Τ: +30 2314 440300