Typed Lambda Calculi and Applications Mehr Bücher von Luke Ong

Formal Methods and Software Engineering

Foundations of Software Science and Computational Structures