Programming Systems Lab: Publications by Kathrin Stark

Saarland University Computer Science

Select author:

2018

Binder Aware Recursion over Well-Scoped de Bruijn Syntax   (pdf)
Jonas Kaiser, Steven Schäfer, Kathrin Stark
Certified Programs and Proofs - 7th International Conference, CPP 2018, Los Angeles, USA, January 8-9, 2018 (To appear)

2017

Autosubst 2: Towards Reasoning with Multi-Sorted de Bruijn Terms and Vector Substitutions   (pdf)
Jonas Kaiser, Steven Schäfer, Kathrin Stark
LFMTP

2016

Hereditarily Finite Sets in Constructive Type Theory   (pdf)
Gert Smolka, Kathrin Stark
Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-27, 2016


Login to edit


Webmaster, Mon May 30 13:48:30 2016