Follow
Kathrin Stark
Kathrin Stark
Assistant Professor, Heriot-Watt University
Verified email at hw.ac.uk - Homepage
Title
Cited by
Cited by
Year
Autosubst 2: reasoning with multi-sorted de Bruijn terms and vector substitutions
K Stark, S Schäfer, J Kaiser
Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019
532019
POPLMark reloaded: Mechanizing proofs by logical relations
A Abel, G Allais, A Hameer, B Pientka, A Momigliano, S Schäfer, K Stark
Journal of Functional Programming 29, e19, 2019
402019
Binder aware recursion over well-scoped de Bruijn syntax
J Kaiser, S Schäfer, K Stark
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
202018
Coq ā la carte: a practical approach to modular syntax with binders
Y Forster, K Stark
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
162020
Hereditarily finite sets in constructive type theory
G Smolka, K Stark
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy …, 2016
152016
Call-by-push-value in Coq: operational, equational, and denotational theory
Y Forster, S Schäfer, S Spies, K Stark
Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019
122019
Mechanising syntax with binders in Coq
K Stark
Ph.D. Thesis, 2020
92020
Autosubst 2: Towards reasoning with multi-sorted de bruijn terms and vector substitutions
J Kaiser, S Schäfer, K Stark
Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory …, 2017
92017
Logic of differentiable logics: Towards a uniform semantics of dl
N Ślusarz, E Komendantskaya, ML Daggitt, R Stewart, K Stark
arXiv preprint arXiv:2303.10650, 2023
62023
Embedding Higher-Order Abstract Syntax in Type Theory
S Schäfer, K Stark
TYPES 2018, 1, 2018
32018
The system can't perform the operation now. Try again later.
Articles 1–10