WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/2910095

The lambda calculus its syntax and semantics

The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.

Open All Close All

type

about

http://schema.org/about

alternateName

author

contributor

creator

description

http://schema.org/description

  • "The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course."@en
  • "The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course. (A cura dell'editore)."
  • "The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of."@en

genre

http://schema.org/genre

  • "Electronic books"@en
  • "Electronic resource"@en
  • "Handboeken (vorm)"

name

http://schema.org/name

  • "The Lambda calculus : Its syntax and semantics"
  • "The lambda calculus its syntax and semantics"@en
  • "The lambda calculus its syntax and semantics"
  • "The Lambda Calculus : Its Syntax and Semantics"
  • "The lambda calculus"
  • "Lambda-isčislenie : ego sintaksis i semantika"
  • "The lambda calculus : its syntax and semantics"
  • "The lambda calculus : its syntax and semantics"@en
  • "Lambda - isčislenie : ego sintaksis i semantika"
  • "The Lambda Calculus Its Syntax and Semantics"@en
  • "The Lambda calculus : its syntax and semantics"
  • "The Lambda calculus - its syntax and semantics"@en
  • "Lambda-Ischislenie : ego sintaksis i semantika"

workExample

http://schema.org/workExample