‹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