Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jonas Kaiser
conf.researchr.org general profile
ICFP 2017 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
Registered user since Fri 25 Nov 2016
Name:
Jonas Kaiser
Contributions
2019
CPP
Author of Autosubst 2: Reasoning with Multi-Sorted de Bruijn Terms and Vector Substitutions within the CPP 2019-track
2018
CPP
Author of Binder Aware Recursion over Well-Scoped de Bruijn Syntax within the CPP 2018-track
2017
FSCD
Author of Relating System F and λ2: A Case Study in Coq, Abella and Beluga within the FSCD 2017-track
CPP
Author of Equivalence of System F and λ2 in Coq based on context morphism lemmas within the CPP-track
TTT
Author of Equivalence of System F and λ2 in Abella within the TTT-track
Share
x
Tue 3 Dec 17:59