Notice de personne
- Notice
Streicher, Thomas (1958-....) forme internationale
Pays :
Allemagne
Langue(s) :
allemand
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
1958
Écrit aussi en anglais.
Mathématicien. - En poste à la Fakultat für Mathematik und Informatik, Universität Passau, Passau, Allemagne (en 1991).
Mathématicien. - En poste à la Fakultat für Mathematik und Informatik, Universität Passau, Passau, Allemagne (en 1991).
Source(s) :
Semantics of type theory : correctness, completeness and independence results / Thomas Streicher, 1991
LCNA, 1993-03
Semantics of type theory : correctness, completeness and independence results / Thomas Streicher, 1991
LCNA, 1993-03
Identifiant international de l'autorité :
ISNI 0000 0001 0936 2989
, cf.
http://isni.org/isni/0000000109362989
Identifiant de la notice : ark:/12148/cb123339552
Notice n° :
FRBNF12333955
Création :
93/07/12
Mise à jour :
93/09/16
