Foundations of Software Science and Computational Structures Plus de livres par Luke Ong

Formal Methods and Software Engineering Formal Methods and Software Engineering
2017
Typed Lambda Calculi and Applications Typed Lambda Calculi and Applications
2011