Girard, Jean-Yves ed. Typed Lambda Calculi and Applications Berlin: Springer Publishing Company, 1999. Paperback Octavo. Paperback. wraps 396pp. More Add to Cart Price: 28.00 € Item Details Ask a Question