Lecture Notes in Computer Science
Volume 902, 1995, DOI: 10.1007/BFb0014040

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 and Gordon Plotkin

Contents

Viewing all 29 chapters
Search within

Browse This Book

  • Look Inside
  • Contents
  • ESM

About This Book

Title
Typed Lambda Calculi and Applications
Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings
Editors
Collection
Computer Science
Subjects
None Assigned
Copyright Year
1995
DOI
10.1007/BFb0014040
ISBN
978-3-540-59048-4
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Monday, April 10, 2006

About This Book Series

Title
Lecture Notes in Computer Science
Coverage
Volume 1 / 1973 - Volume 7260 / 2012
Collection
Computer Science
Subjects
ISSN
0302-9743 (Print)
1611-3349 (Online)
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, April 05, 2002