The lazy lambda calculus in a concurrency scenario (LFCS report series)

https://www.ebooknetworking.net/books_detail-B0000COKWJ.html

The lazy lambda calculus in a concurrency scenario (LFCS report series)

AuthorDavide Sangiorgi

PublisherLFCS, Dept. of Computer Science, University of Edinburgh

Shop on Amazon — choose your country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

Buy New on Amazon 🇺🇸

Book Details

Author(s)Davide Sangiorgi

PublisherLFCS, Dept. of Computer Science, University of Edinburgh

ISBN / ASINB0000COKWJ

ISBN-13978B0000COKW2

MarketplaceUnited States 🇺🇸

More Books by Davide Sangiorgi

The Pi-Calculus: A Theory of Mobile Processes

The Pi-Calculus: A Theory of Mobile Processes

View

Introduction to Bisimulation and Coinduction

Introduction to Bisimulation and Coinduction

View

Donate to EbookNetworking

Prev