Programming Systems Lab: Publications by Dominik Kirst

Saarland University Computer Science

Select author:

2017

Large Model Constructions for Second-Order ZF in Dependent Type Theory   (pdf)
Dominik Kirst, Gert Smolka
submitted for review

Categoricity Results for Second-Order ZF in Dependent Type Theory   (pdf)
Dominik Kirst, Gert Smolka
Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017


Login to edit


Webmaster, Mon May 30 13:48:30 2016