Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings

Author(s)

• International Conference on Typed Lambda Calculi and Applications
• Dezani-Ciancaglini, Mariangiola
• Plotkin, G. (Gordon)

Bibliographic Information

Typed lambda calculi and applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings

Mariangiola Dezani-Ciancaglini, Gordon Plotkin (eds.)

（Lecture notes in computer science, 902）

Springer-Verlag, c1995

• : gw

Note

Includes bibliographical references

Details

• NCID: BA24796702
• ISBN:
  • 354059048X
• LCCN: 95005969
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: viii, 442 p.
• Size: 24 cm
• Classification:
  • LCC : QA9.5
  • DC20 : 511.3
• Subject Headings:
  • LCSH : Lambda calculus -- Congresses
• Parent Bibliography ID:
  • BA00009279