Typed Lambda Calculi and Applications Más libros de Luke Ong

Formal Methods and Software Engineering

2017