Educated Owl Books

Sell with us!

Adapting Proofs-as-Programs : The Curry-Howard Protocol

Adapting Proofs-as-Programs : The Curry-Howard Protocol

by Iman Hafiz Poernomo, John Newsomw Crossley, Martin Wirsing Hardcover 2005

⭐ 0.0 rating

| 📖 0 saved | ✅ 0 verified

Author: Iman Hafiz Poernomo, John Newsomw Crossley, Martin Wirsing
ISBN 13: 9780387237596
ISBN 10: 0387237593
Publication Year: 2005
Language: English

Specifications

Index-100387237593

LanguageEnglish

Index-139780387237596

Period-

Class Track-

Publisher- (2005)

Pages-