H.P. Barendregt – författare

Visar alla böcker från författaren H.P. Barendregt. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Lambda Calculus

   Its Syntax and Semantics

   Av H.P. Barendregt

   E-bok, 2013

   1320 kr

   Lägg i varukorg

   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 …