On the Correspondence Between Proofs and λ-Terms (1995)

by Jean Gallier
Venue:Cahiers Du Centre de Logique
Citations:6 - 3 self