Bengt Nordström (19..-....)

Pays :Suède
Langue :suédois
Note :
Ecrit aussi en anglais
En poste : Department of Computing Science, Chalmers University and University of Göteborg, Suède (en 1995)
ISNI :ISNI 0000 0000 8388 9984

Ses activités

Éditeur scientifique1 document

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Types for proofs and programs, 1995

Pages équivalentes