Image from Google Jackets

Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons.

By: Material type: TextTextSeries: Cambridge tracts in theoretical computer science ; 51Publication details: Cambridge ; New York : Cambridge University Press, 2000.Description: xxv, 384 p. ; 24 cmISBN:
  • 0521771737
Subject(s): DDC classification:
  • 511.3 22 SIM
LOC classification:
  • QA9.54 .S55 2000
Online resources:
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
Book - Borrowing Book - Borrowing Central Library First floor Alef-Baa 511.3 SIM (Browse shelf(Opens below)) Available 000017043
Total holds: 0

Includes bibliographical references (p. 375-376) and index.

There are no comments on this title.

to post a comment.

© BUE Library 2020