Adapting Proofs-as-Programs
Publisher: Springer
Published: Sep 22, 2008
Format: paperback
Number of pages: 436
ISBN-13: 9780387503721