» advanced search
subscribe & win

Sign up for our newsletter and enter to win FREE books.

your e-mail address Send!

browse BOOKS

Page 1 of 1   change currency
sort by
Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications more books like this

by Mariangiola Dezani-Ciancaglini (Editor), Gordon Plotkin (Editor)

This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995. The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type ...

see all copies from $12.55!

new only from $58.99! | first editions | SVSClick for books eligible for free or discount Super Value Shipping.

Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications more books like this

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

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

new only from $57.65! | SVSClick for books eligible for free or discount Super Value Shipping.

Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications more books like this

by Jean-Yves Girard (Editor)

This book constitutes the refereed proceedings of the 4th International Conference on Typed Lambda Calculi and Applications, TLCA'99, held in L'Aquila, Italy in April 1999. The 25 revised full papers presented were carefully reviewed and selected from a total of 50 submissions. Also included are two invited demonstrations. The volume reports ...

see all copies from $40.80!

new only from $47.00! | SVSClick for books eligible for free or discount Super Value Shipping.

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, Tlca '93, March 16-18, 1993, Utrecht, the Netherlands. Proceedings more books like this

by M Bezem

see all copies from $12.27!


Page 1 of 1

 

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.