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

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

Label
Proofs and types
Title
Proofs and types
Statement of responsibility
Jean-Yves Girard ; translated and with appendices by Paul Taylor, Yves Lafont
Creator
Subject
Language
eng
Member of
Action
committed to retain for EAST
Cataloging source
FIJ
http://library.link/vocab/creatorName
Girard, Jean-Yves
Index
index present
LC call number
QA9.54
LC item number
.G572 1990
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/subjectName
  • Proof theory
  • Type theory
  • Computer programming
  • Preuve, Théorie de la
  • Logique symbolique et mathématique
  • Types, Théorie des
  • Computer programming
  • Proof theory
  • Type theory
  • Ordinateurs
  • Beweistheorie
  • Lambda-Kalkül
  • Typentheorie
Label
Proofs and types, Jean-Yves Girard ; translated and with appendices by Paul Taylor, Yves Lafont
Instantiates
Publication
Note
  • "This little book comes from a short course on typed [lambda]-calculus given at the Université Paris VII in the autumn term of 1986-7"--P. v
  • Translation from the French
  • Includes index
Bibliography note
Bibliography: p. 162-165
Dimensions
26 cm.
Extent
xi, 176 p.
Isbn
9780521371810
System control number
  • (OCoLC)23586245
  • (OCoLC)ocm23586245
Label
Proofs and types, Jean-Yves Girard ; translated and with appendices by Paul Taylor, Yves Lafont
Publication
Note
  • "This little book comes from a short course on typed [lambda]-calculus given at the Université Paris VII in the autumn term of 1986-7"--P. v
  • Translation from the French
  • Includes index
Bibliography note
Bibliography: p. 162-165
Dimensions
26 cm.
Extent
xi, 176 p.
Isbn
9780521371810
System control number
  • (OCoLC)23586245
  • (OCoLC)ocm23586245

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...