Typed lambda calculi and applications : International Conference on Typed Lam[b]da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings /
Збережено в:
| Співавтор: | |
|---|---|
| Інші автори: | , |
| Формат: | Матеріали конференцій Книга |
| Мова: | English |
| Опубліковано: |
Berlin ; New York :
Springer-Verlag,
c1993.
|
| Серія: | Lecture notes in computer science ;
664. |
| Предмети: |
CARM 1 Store
| Шифр: |
A2:AM11F0 C05515 |
|---|---|
| Примірник 1 | Доступно Розмістити замовлення |