Related Books

COLOG-88
Language: en
Pages: 348
Authors: Per Martin-Löf
Categories: Computers
Type: BOOK - Published: 1990-02-21 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians inte
Key to Standard Algebra and Standard Algebra-revised
Language: en
Pages: 552
Authors: William James Milne
Categories:
Type: BOOK - Published: 1915 - Publisher:

DOWNLOAD EBOOK

Colog-88
Language: en
Pages: 348
Authors: Per Martin-Lof
Categories:
Type: BOOK - Published: 2014-09-12 - Publisher:

DOWNLOAD EBOOK

Theory of Computing and Systems
Language: en
Pages: 236
Authors: Danny Dolev
Categories: Computers
Type: BOOK - Published: 1992-05-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

ISTCS '92, the Israel Symposium on the Theory of Computing and Systems, cameabout spontaneously as a result of informal interaction between a group of people wh
Typed Lambda Calculi and Applications
Language: en
Pages: 441
Authors: Samson Abramsky
Categories: Mathematics
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland i