Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

by Guy McCusker

Browse books you can read free on Readfeed

No club is reading this yet — be the first to start one

Start a club free

Discuss Games and Full Abstraction for a Functional Metalanguage with Recursive Types with other readers

Join or start a book club for Games and Full Abstraction for a Functional Metalanguage with Recursive Types on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Frequently asked questions

How do I join a book club for Games and Full Abstraction for a Functional Metalanguage with Recursive Types?

Sign up free on Readfeed, then browse public clubs or start your own club with Games and Full Abstraction for a Functional Metalanguage with Recursive Types as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Games and Full Abstraction for a Functional Metalanguage with Recursive Types with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Games and Full Abstraction for a Functional Metalanguage with Recursive Types with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.