Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Frédéric Peschanski
conf.researchr.org general profile
‹Programming› 2017 profile
Registered user since Fri 31 Mar 2017
Name:
Frédéric Peschanski
Contributions
2017
ELS
Presenter of A Lisp Way to Type Theory and Formal Proofs within the ELS 2017-track
Share
x
Thu 26 Dec 23:06