Une structure de données pour le λ-calcul typé. Private Communication (1988)

by L Colson