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

Formal Methods and Software Engineering

2017

Typed Lambda Calculi and Applications

2011