## A general method to prove the normalization theorem for first and second order typed λ-calculi (1999)

### Cached

### Download Links

by
Venanzio Capretta
,
Silvio Valentini

Venue: | Mathematical Structures in Computer Science |

Citations: | 4 - 2 self |