Winterhalter, Théo, 1993-....
VIAF ID: 251161272287447442798 ( Personal )
Permalink: http://viaf.org/viaf/251161272287447442798
Preferred Forms
Works
Title | Sources |
---|---|
Formalisation and Meta-Theory of Type Theory |
Title | Sources |
---|---|
Formalisation and Meta-Theory of Type Theory |