Registered user since Mon 24 Apr 2017

Name: Gert Smolka

Affiliation: Saarland University

Personal website: http://ps.uni-saarland.de/~smolka

POPL 2017 Activities

• Author of Equivalence of System F and λ2 in Coq based on context morphism lemmas within the CPP-track in CPP 2017
• Author of Equivalence of System F and λ2 in Abella within the TTT-track in TTT 2017
• Show activities from other conferences