Thorsten Altenkirch information

Thorsten Altenkirch (/ˈɔːltənkɜːrʃ/ AWL-tən-kursh, German: [ˈtɔʁstn̩ ˈʔaltn̩kɪʁç]) is a German Professor of Computer Science at the University of Nottingham...

his description of the work of University of Nottingham professor Thorsten Altenkirch. Coq System U#Girard's paradox "Thierry Coquand". University of Gothenburg...

Official participants in the special year Peter Aczel Benedikt Ahrens Thorsten Altenkirch Steve Awodey Bruno Barras Andrej Bauer Yves Bertot Marc Bezem Thierry...

Dependent Types at Work (PDF), Chalmers University of Technology Altenkirch, Thorsten; Danielsson, Nils Anders; Löh, Andres; Oury, Nicolas (2010). "ΠΣ:...

Edinburgh Doctoral advisor N. A. Dudley K. Brian Haley Doctoral students Thorsten Altenkirch John Darlington Mike Gordon Conor McBride J Strother Moore Alan Mycroft...

 4719. pp. 209–257. with Altenkirch, Thorsten; McKinna, James. Why Dependent Types Matter (PDF). with Altenkirch, Thorsten, eds. (2007). Types for Proofs...

Kevin John Brown 378 Independent Sadie Kime 209 Liberal Democrats Thorsten Altenkirch 115 Liberal Democrats Andy Rimmer 101 TUSC Paul Tooley-Okonkwo 61...

98 22.3 -14.4 Green Shaun Thornton 14 3.2 New Liberal Democrats Thorsten Altenkirch 10 2.3 New TUSC Karen Seymour 7 1.6 New Majority 27 6.1 +1.2 Turnout...

doi:10.1016/j.apal.2006.12.001. S2CID 360990. Abbott, Michael; Altenkirch, Thorsten; Ghani, Neil (2005). "Containers: Constructing strictly positive...

Programming in Martin-Löf's Type Theory. Oxford University Press, p. 90. Altenkirch, Thorsten; Anberrée, Thomas; Li, Nuo. "Definable Quotients in Type Theory"...

Coquand, T.; Huber, S. "A model of type theory in cubical sets" (PDF). Altenkirch, Thorsten; Kaposi, Ambrus, A syntax for cubical type theory (PDF) V. Voevodsky...