bezem marc (8 Ergebnisse)

Soft cover. Zustand: Very Good. pp.viii, 432 pages, a VG+ paperback [3540565175]. Ex-university library, and hard to find outside of America.

Zustand: New. In.

Zustand: New. In.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The lambda calculus was developed in the 1930s by AlonzoChurch. The calculus turned out to be an interesting modelof computation and became theprototype for untypedfunctional programming languages. Operational anddenotational semantics for the calculus served as examplesfor otherprogramming languages.In typed lambda calculi, lambda terms are classifiedaccording to their applicative behavior. In the 1960s it wasdiscovered that the types of typed lambda calculi are infact appearances of logical propositions. Thus there are twopossible views of typed lambda calculi:- as models of computation, where terms are viewed asprograms in a typed programming language;- as logical theories, where the types are viewed aspropositions and the terms as proofs.The practical spin-off from these studies are:- functional programming languages which aremathematically more succinct than imperative programs;- systems for automated proof checking based on lambdacaluli.This volume is the proceedings of TLCA '93, the firstinternational conference on Typed Lambda Calculi andApplications,organized by the Department of Philosophy ofUtrecht University. It includes29 papers selected from 51submissions.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the strictly refereed post-workshop proceedings of the 10th International Workshop on Computer Science Logic, CSL'96, held as the 5th Annual Conference of the European Association of Computer Science Logic (EACSL), in Utrecht, The Netherlands, in September 1996.The volume presents 26 revised full papers selected from a total of initially 75 papers submitted; also included are two refereed invited contributions. The volume addresses all current issues in the area of computer science logic research, and is thus a unique record of recent progress in the area.

Taschenbuch. Zustand: Neu. Computer Science Logic | 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers | Dirk Van Dalen (u. a.) | Taschenbuch | ix | Englisch | 1997 | Springer | EAN 9783540631729 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Typed Lambda Calculi and Applications | International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings | Marc Bezem (u. a.) | Taschenbuch | ix | Englisch | 1993 | Springer | EAN 9783540565178 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

1993, viii, 229 pp., paperback, lichte sporen van gebruik.