Typed Lambda Calculi and Applications Plus de livres par Luke Ong

Formal Methods and Software Engineering

Foundations of Software Science and Computational Structures