BOOKS by Jan F Groote

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

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

new only from $57.65! | SVS

Page 1 of 1

Browse authors

Marc Bezem

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.