2010 - Adapting Proofsasprograms the Curryhoward Protocol [Monographs in Computer Science] (Paperback) → Hardcover ISBN-13: 9781441920140 ISBN-10: 1441920145 ? |
2010 - Adapting Proofsasprograms the Curryhoward Protocol [Monographs in Computer Science] (Paperback) → Hardcover ISBN-13: 9781441920140 ISBN-10: 1441920145 ? |