‹Programming› 2017 (series) / Frédéric Peschanski
Registered user since Fri 31 Mar 2017
Name:Frédéric Peschanski
Contributions
| ELS 2017 | A Lisp Way to Type Theory and Formal Proofs | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
‹Programming› 2017-profile
View general profile
View general profile