[ Back to Record ]

  1. Bib ID# 8633
    ISBN: 9780387281834
    UPC: 10.1007/0-387-28183-5
    Title: Adapting Proofs-as-ProgramsThe Curry-Howard Protocol /
    Author: Poernomo, Iman Hafiz.
    Publication Info:
    Item Type: Language material

[ Back to Record ]