Coverart for item
The Resource Proofs and types, Jean-Yves Girard ; translated and with appendices by Paul Taylor [and] Yves Lafont

Proofs and types, Jean-Yves Girard ; translated and with appendices by Paul Taylor [and] Yves Lafont

Label
Proofs and types
Title
Proofs and types
Statement of responsibility
Jean-Yves Girard ; translated and with appendices by Paul Taylor [and] Yves Lafont
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
RCE
http://library.link/vocab/creatorName
Girard, Jean-Yves
Index
index present
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Taylor, Paul
  • Lafont, Yves
Series statement
Cambridge tracts in theoretical computer science
Series volume
7
http://library.link/vocab/subjectName
  • Proof theory
  • Type theory
  • Lambda calculus
  • Combinatory logic
Label
Proofs and types, Jean-Yves Girard ; translated and with appendices by Paul Taylor [and] Yves Lafont
Instantiates
Publication
Note
Includes index
Bibliography note
Bibliography: pages 162-165
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
19603784
Dimensions
26 cm
Extent
xi, 176 pages
Isbn
9780521371810
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
System control number
(WaOLN)1235760
Label
Proofs and types, Jean-Yves Girard ; translated and with appendices by Paul Taylor [and] Yves Lafont
Publication
Note
Includes index
Bibliography note
Bibliography: pages 162-165
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
19603784
Dimensions
26 cm
Extent
xi, 176 pages
Isbn
9780521371810
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
System control number
(WaOLN)1235760

Library Locations

    • Mathematical Sciences LibraryBorrow it
      104 Ellis Library, Columbia, MO, 65201, US
      38.944377 -92.326537
Processing Feedback ...