Kaposi, Ambrus
VIAF ID: 52157098347172550385 (Personal)
Permalink: http://viaf.org/viaf/52157098347172550385
Preferred Forms
- 100 1 _ ‡a Kaposi, Ambrus
Works
Title | Sources |
---|---|
Cubical models are cofreely parametric | |
Etendre la théorie des types à l'aide de modèles syntaxiques. | |
Extending type theory with syntactic models | |
Les modèles cubiques sont colibrement paramétriques. |