Foundations of Software Science and Computational Structures More Books by Luke Ong

Formal Methods and Software Engineering

2017

Typed Lambda Calculi and Applications

2011