Typed Lambda calculi and applications : International conference on ... March 16-18, 1993, Utrecht. Proceedings

Typed Lambda calculi and applications : International conference on ... March 16-18, 1993, Utrecht. Proceedings

Enregistré dans:
Détails bibliographiques
Collectivité auteur : International conference on typed lambda calculi and applications Utrecht 1993
Autres auteurs : Bezem Marc (Éditeur scientifique), Groote Jan Friso (Éditeur scientifique)
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 :
Lambda-calcul > congrès

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Magasin n.3 510.56 TYP/8576 Empruntable Disponible