Home > Authors > Pawel Urzyczyn > Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Pawel Urzyczyn

Recent activity

Rate this book to see your activity here.

1 Book Similar to Typed Lambda Calculi and Applications by Pawel Urzyczyn

Bookscovery readers who liked Typed Lambda Calculi and Applications also like Mathematical Foundations of Computer Science 2006. How many of these have you read?

Mathematical Foundations of Computer Science 2006 by Rastislav Královic

Cover of Mathematical Foundations of Computer Science 2006

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Comments and reviews of Typed Lambda Calculi and Applications

Please sign in to leave a comment