BOOKS by Marc Bezem

Sometimes it pays off to expand your search to view all available copies of items matching your search terms.

Page 1 of 1

sort by

Computer Science Logic more books like this

by Dirk Van Dalen (Editor), Marc Bezem (Editor)

add to wishlist

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

see all copies from $1.99!

new only from $3.45! | SVS

Typed Lambda Calculi and Applications more books like this

by Marc Bezem (Editor), Jan F Groote (Editor)

add to wishlist

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

see all copies from $6.88!

new only from $75.57! | SVS

Page 1 of 1

Browse authors

Browse subjects

Our Money-Back Guarantee

We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.