Streicher, Thomas
Streicher, Thomas, 1958-
Thomas Streicher
Thomas Streicher matematikan gjerman
VIAF ID: 112146100 ( Personal )
Permalink: http://viaf.org/viaf/112146100
Preferred Forms
- 200 _ | ‡a Streicher ‡b Thomas ‡f 1958-....
- 100 1 _ ‡a Streicher, Thomas
-
- 100 1 _ ‡a Streicher, Thomas
- 100 1 _ ‡a Streicher, Thomas
-
-
- 100 1 0 ‡a Streicher, Thomas, ‡d 1958-
-
-
- 100 0 _ ‡a Thomas Streicher
- 100 0 _ ‡a Thomas Streicher ‡c matematikan gjerman
4xx's: Alternate Name Forms (9)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Disséquer les sémantiques dénotationnelles : du bien établi H* aux plus récents coeffets quantitatifs = issecting denotational semantics : from the well-established H* to the more recent quantitative coeffects | |
Domain-theoretic foundations of functional programming | |
From dependent type theory to higher algebraic structures | |
Game semantics and realizability for classical logic | |
Réalisabilité classique : nouveaux outils et applications | |
Réductions et approximations linéaires | |
Semantics of type theory correctness, completeness and independence results | |
Sémantique des jeux et réalisabilité pour la logique classique. | |
synthetische Perspektive auf (∞,1)-Kategorientheorie: Gefaserte and semantische Aspekte | |
Towards a homotopical algebra of dependent types | |
Vers une algèbre homotopique des types dépendants. |