types and models. Ellis Horwood series in computers and their applications (1993)

by Lambda-calculus