Typed Lambda calculi, in: Handbook of Logic in Computer Science , S. Abramsky et al (0)

by H P Barendregt, T