Image from Google Jackets
Image from OpenLibrary

Proofs and types Girard Jean-Yves; Tailor Paul Tr.; Lafont Yves Tr.

By: Contributor(s): Material type: TextTextLanguage: English Series: Cambridge tracts in theoretical computer sciencePublication details: Cambridge Cambeidge University Press 1989Description: 176p. cmSubject(s): DDC classification:
  • D65,8(B):(B32), M9
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 Home library Call number Status Barcode
Textual Textual Central Science Library Central Science Library D65,8(B):(B32) M9 (Browse shelf(Opens below)) Available SL1023524

There are no comments on this title.

to post a comment.