POPL 2017
Sun 15 - Sat 21 January 2017
POPL 2017 (series) / Gert Smolka
Gert Smolka

Registered user since Mon 24 Apr 2017

Name: Gert Smolka

Affiliation: Saarland University

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

Contributions

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

POPL 2017-profile
View general profile