Typed Lambda Calculi and Applications More Books by Luke Ong

Formal Methods and Software Engineering

Foundations of Software Science and Computational Structures