Related Books

Call-By-Push-Value
Language: en
Pages: 381
Authors: P.B. Levy
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primitives. This
Computer Science Logic
Language: en
Pages: 630
Authors: Julian Bradfield
Categories: Computers
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

DOWNLOAD EBOOK

The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22–25 Se
Typed Lambda Calculi and Applications
Language: en
Pages: 409
Authors: Jean-Yves Girard
Categories: Computers
Type: BOOK - Published: 2003-07-31 - Publisher: Springer

DOWNLOAD EBOOK

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
Interactive Theorem Proving
Language: en
Pages: 657
Authors: Jeremy Avigad
Categories: Mathematics
Type: BOOK - Published: 2018-07-03 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018. T
Programming Languages and Systems
Language: en
Pages: 1056
Authors: Amal Ahmed
Categories: Computers
Type: BOOK - Published: 2018-04-14 - Publisher: Springer

DOWNLOAD EBOOK

This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 20