Blog
About us
Career
Contact

Search for a book, author or category...

Fiction

Nonfiction

For the Youngest
- Fairytales
- Accordion Books
For Younger Children
For Older Readers
For Young Adults

Other Categories

Foreign Language Books

Who do you want to give a book to?
Take our advice!
- Bestselling Books
- Books made into movies

Guy McCusker

Games and full abstraction for a functional metalanguage with recursive types

Sold out

Guy McCusker Games and full abstraction for a functional metalanguage with recursive types

4.3

2012Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Buy and sell books in one place

We've added 20,919 books in the last 24 hours. That's as tall as 15.5 Towers of London.

Continue browsing books

Books

Bestselling Books
Watchdog
Sell books
Buy used books

Purchase

Complaint

Bookbot

About us
Career

Do you have a question?

info@bookbot.com
WhatsApp
+49 78 195 633 044Every day from 8 AM to 8 PM (CET)
available in English, German and Czech

Secure payment is provided by

Fast delivery is provided by

Terms and Conditions of Purchase
Terms and Conditions of Sale
Privacy Policy

CZ
SK
AT
DE
ES
IT
NL
FR
BE