Select
Explore
keyword: type systems – 4 free books.
All these books are free to read: either they're distributed with a free license, or they're in the public domain.
Christel Baier and Ugo Dal Lago, editors
AVAILABLE!
Login to Fave
Login to Fave
Foundations of Software Science and Computation Structures
Christel Baier and Ugo Dal Lago
AVAILABLE!
Login to Fave
Login to Fave