Typed Lambda calculi and applications : International conference on ... March 16-18, 1993, Utrecht. Proceedings
Enregistré dans:
Collectivité auteur : | |
---|---|
Autres auteurs : | , |
Format : | Livre |
Langue : | anglais |
Titre complet : | Typed Lambda calculi and applications : International conference on ... March 16-18, 1993, Utrecht. Proceedings |
Publié : |
Berlin :
Springer-Verlag
, 1993 |
Description matérielle : | VIII-432 p. |
Collection : | Lecture notes in computer science ; 664 |
Sujets : |
BU Sciences
| Cote | Prêt | Statut |
---|---|---|---|
Magasin n.3 | 510.56 TYP/8576 | Empruntable | Disponible |