The Curry-Howard isomorphism (Cahiers du Centre de logique)
Full Title: | The Curry-Howard isomorphism (Cahiers du Centre de logique) |
---|---|
ISBN: | 287209363X |
ISBN13: | 9782872093632 |
Authors: |
CAHIERS DU CENTRE LO |