Jonas Kaiser

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 4

Top Topics

Lambda Calculus

Reasoning Process

Context Dependent

Top Venues

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Kathrin Stark, Steven Schäfer, Jonas Kaiser
Autosubst 2: reasoning with multi-sorted de Bruijn terms and vector substitutions. CPP (2019)
Jonas Kaiser, Steven Schäfer, Kathrin Stark
Binder aware recursion over well-scoped de Bruijn syntax. CPP (2018)
Jonas Kaiser, Tobias Tebbi, Gert Smolka
Equivalence of system f and ź2 in Coq based on context morphism lemmas. CPP (2017)
Jonas Kaiser, Brigitte Pientka, Gert Smolka
Relating System F and Lambda2: A Case Study in Coq, Abella and Beluga. FSCD (2017)