Adapting proofs-as-program: the curry-howard protocol

By:

Contributor(s):

Material type: Text

TextSeries: (Monographs in computer science)Publication details: USA Springer 2005Description: xii, 420pISBN:

Subject(s):

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	University Library	004.422 POE (Browse shelf(Opens below))	Available		00054924

There are no comments on this title.

to post a comment.