Typed lambda calculi and applications.
- Publisher: Springer-Verlag
- Print ISSN:
- Electronic ISSN:
- OCLC Number: 41259882
- Subject: Lambda calculus Congresses.
- Subject code: QA
- Publication history: Mar. 16-18, 1993-
Print Holdings
| Archiving Institution | Program | Holdings Description | Retention |
|---|---|---|---|
| HathiTrust (HATHI) | HTDL | 1993; 1995; 1997; 1999; 2001; 2003; 2005 | permanent |