DERIVATION & COMPUTATION > Editions

by Harold Simmons

Sort by

Format

Language

Editions

Showing 1-2 of 2

DERIVATION & COMPUTATION (Paperback)

Published January 1st 1980 by NY

Paperback, 0 pages

Author(s):

ASIN:

B000N6F9R0

Average rating:

0.0 (0 ratings)

more details

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

Derivation and Computation: Taking the Curry-Howard correspondence seriously (Cambridge Tracts in Theoretical Computer Science) by H. Simmons (2000-06-12)

Published by Cambridge University Press

Hardcover, 0 pages

Author(s):

ASIN:

B01F7XZOD2

Average rating:

0.0 (0 ratings)

more details

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars