Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings

Bibliographic Information

Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings

Samson Abramsky (ed.)

(Lecture notes in computer science, 2044)

Springer-Verlag, c2001

Available at  / 39 libraries

Search this Book/Journal

Note

Includes bibliographies and index

Related Books: 1-1 of 1

Details

  • NCID
    BA51819403
  • ISBN
    • 3540419608
  • LCCN
    01031431
  • Country Code
    gw
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Berlin ; Tokyo
  • Pages/Volumes
    xi, 429 p.
  • Size
    24 cm
  • Classification
  • Subject Headings
  • Parent Bibliography ID
Page Top