Item Details

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : Proceedings

Samson Abramsky, ed
Format
Book
Published
Berlin ; New York : Springer, c2001.
Language
English
Series
Lecture Notes in Computer Science
ISBN
3540419608 (acid-free paper)
Description
xi, 429 p. : ill. ; 24 cm.
Notes
Includes bibliographical references and index.
Series Statement
Lecture notes in computer science 0302-9743 ; 2044
Technical Details
  • Access in Virgo Classic

  • LEADER 01262pam a22003614a 4500
    001 u3733256
    003 SIRSI
    005 20010614104500.0
    008 010412s2001 gw a b 101 0 eng
    010
      
      
    a| 2001031431
    020
      
      
    a| 3540419608 (acid-free paper)
    035
      
      
    a| (Sirsi) i9783540419600
    035
      
      
    a| (Sirsi) i3540419608
    035
      
      
    a| (OCoLC)46785300
    040
      
      
    a| DLC c| DLC d| NhCcYBP
    042
      
      
    a| pcc
    049
      
      
    a| VA@S
    050
    0
    0
    a| QA9.5 b| .I58 2001
    082
    0
    0
    a| 511.3 2| 21
    090
      
      
    a| SCIENG/QA9.5 b| .I58 2001
    111
    2
      
    a| International Conference on Typed Lambda Calculi and Applications n| (5th : d| 2001 : c| Kraków, Poland)
    245
    1
    0
    a| Typed lambda calculi and applications : b| 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings / c| Samson Abramsky, ed.
    260
      
      
    a| Berlin ; a| New York : b| Springer, c| c2001.
    300
      
      
    a| xi, 429 p. : b| ill. ; c| 24 cm.
    440
      
    0
    a| Lecture notes in computer science x| 0302-9743 ; v| 2044
    504
      
      
    a| Includes bibliographical references and index.
    596
      
      
    a| 14
    650
      
    0
    a| Lambda calculus v| Congresses.
    700
    1
      
    a| Abramsky, Samson, d| 1953-
    999
      
      
    a| QA9.5 .I58 2001 w| LC i| X004523559 l| BY-REQUEST m| IVY t| BOOK

Availability

Google Preview

Library Location Map Availability Call Number
Ivy By Request N/A Available