Event Beta
International Conference on Typed Lambda Calculi and Applications
TLCA
- Date
- 1995-04-10/12
- Place
- Edinburgh, United Kingdom on the map
- Series
- International Conference on Typed Lambda Calculi and Applications
- Edition
- 2
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/event/e108crh
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Typed Lambda Calculi and Applications LNCS 902 | 10.1007/bfb0014040 | 1995 | Springer |
| Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, UK, April 10-12, 1995, Proceedings Lecture Notes in Computer Science 902 | 10.1007/bfb0014040 | 1995 | dblp |
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| Springer LOD (2018) |
|
|---|---|
| confref portal (2020) | |
| dblp |
Cite
International Conference on Typed Lambda Calculi and Applications. confref identifier e108crh. https://id.confref.org/event/e108crh
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.