Typed Lambda Calculi and Applications : second international conference on Typed Lambda Calculi and Applications
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Support: | Livre |
| Langue: | Anglais |
| Publié: |
Berlin ; Heidelberg ; New York (etc.) :
Springer,
1996.
|
| Collection: | Lecture notes in computer science
902 |
| Sujets: |