Jonas Kaiser

According to our database, Jonas Kaiser authored at least 5 papers between 2017 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Formal verification of the equivalence of system F and the pure type system L2.

Jonas Kaiser

PhD thesis, 2019

Autosubst 2: reasoning with multi-sorted de Bruijn terms and vector substitutions.

Kathrin Stark, Steven Schäfer, Jonas Kaiser

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

2018

Binder aware recursion over well-scoped de Bruijn syntax.

Jonas Kaiser, Steven Schäfer, Kathrin Stark

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017

Relating System F and Lambda2: A Case Study in Coq, Abella and Beluga.

Jonas Kaiser, Brigitte Pientka, Gert Smolka

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

Equivalence of system f and ź2 in Coq based on context morphism lemmas.

Jonas Kaiser, Tobias Tebbi, Gert Smolka

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017