Explore
keyword: type theory and proof theory – 3 free books.
These books are included in the Directory of Open Access Books. This means that they have been peer-reviewed and are of interest to scholars.
Foundations of Software Science and Computation Structures
Patricia Bouyer and Lutz Schröder
AVAILABLE!
Login to Fave
Foundations of Software Science and Computation Structures
Stefan Kiefer and Christine Tasson, editors
AVAILABLE!
Login to Fave
Foundations of Software Science and Computation Structures
Jean Goubault-Larrecq and Barbara König (Professor of Information Engineering)
AVAILABLE!
Login to Fave