Bibliographic Information

Proofs and types

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

(Cambridge tracts in theoretical computer science, 7)

Cambridge University Press, 1989

Available at  / 48 libraries

Search this Book/Journal

Note

Bibliography: p. 162-165

Includes index

Related Books: 1-1 of 1

Details

  • NCID
    BA06868186
  • ISBN
    • 0521371813
  • Country Code
    us
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Cambridge
  • Pages/Volumes
    xi, 176 p.
  • Size
    26 cm
  • Classification
  • Subject Headings
  • Parent Bibliography ID
Page Top