5 books • 2 series
Introducao Ao Calculo Lambda
An Introduction to Lambada Calculi for Computer Scientists
Principles of Program Analysis
Lambda Calculi (Graduate Texts in Computer Science, #3)
Abstract Interpretation of Declarative Languages (Ellis Horwood Series in Computers and Their Applications)
