Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings /
Saved in:
| Meeting name: | International Conference on Typed Lambda Calculi and Applications (2nd : 1995 : Edinburgh, Scotland) |
|---|---|
| Imprint: | Berlin ; New York : Springer-Verlag, c1995. |
| Description: | viii, 442 p. : ill. ; 24 cm. |
| Language: | English |
| Series: | Lecture notes in computer science 902 |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/1740898 |
Eckhart
| Call Number: |
QA9.5.I580 1995
|
|---|---|
| c.1 | Available Loan period: standard loan Request for Pickup Need help? - Ask a Librarian |