Altenkirch, Thorsten, 1962-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Altenkirch, Thorsten.
Thorsten Altenkirch chercheur
VIAF ID: 69163625 (Personal)
Permalink: http://viaf.org/viaf/69163625
Preferred Forms
-
200 _ |
‡a
Altenkirch
‡b
Thorsten
‡f
1962-....
-
100 1 _ ‡a Altenkirch, Thorsten
-
100 1 _
‡a
Altenkirch, Thorsten
-
100 1 _ ‡a Altenkirch, Thorsten
-
100 1 _
‡a
Altenkirch, Thorsten
‡d
1962-
-
100 1 _
‡a
Altenkirch, Thorsten,
‡d
1962-
-
100 1 _ ‡a Altenkirch, Thorsten, ‡d 1962-
-
100 1 _ ‡a Altenkirch, Thorsten, ‡d 1962-
-
100 1 _ ‡a Altenkirch, Thorsten, ‡d 1962-
-
100 1 _
‡a
Altenkirch, Thorsten,
‡d
1962-....
-
100 1 _ ‡a Altenkirch, Thorsten.
-
100 0 _
‡a
Thorsten Altenkirch
‡c
chercheur
4xx's: Alternate Name Forms (4)
Works
| Title | Sources |
|---|---|
| Conceptual programming with Python |
|
| Constructions, inductive types and strong normalization |
|
| Cubical models are cofreely parametric |
|
| International conference on typed lambda calculi and applications, 13 |
|
| Les modèles cubiques sont colibrement paramétriques. |
|
| Proceedings of the 3rd Workshop on Programming Languages meets Program Verification |
|
| TYPES 2006 |
|
| Types for proofs and programs : international workshop, TYPES'98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers |
|
| Types for proofs and programs / Thorsten Altenkirch, Wolfgang Naraschewski, Bernard Reus (eds.). - Berlin, 1999. |
|
| TYPES'98 |
|
