Image from Google Jackets

Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons, University of Manchester.

By: Material type: TextTextPublisher: Cambridge ; New York : Cambridge University Press, 2000Description: xxv, 384 pages ; 24 cmContent type:
  • text
Media type:
  • unmediated
Carrier type:
  • volume
ISBN:
  • 0521771730
  • 9780521771733
Subject(s): Genre/Form: DDC classification:
  • 511.3 22 SIM
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 and index.

There are no comments on this title.

to post a comment.

© BUE Library 2020