Original language | English |
---|---|
Title of host publication | The Curry-Howard isomophism |
Editors | Ph. Groote, de |
Place of Publication | Louvain-la-Neuve |
Publisher | Katholieke Universiteit Leuven |
Pages | 139-191 |
Publication status | Published - 1994 |
Publication series
Name | Cahiers du centre de logique |
---|---|
Volume | 8 |