Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ian Orton
conf.researchr.org general profile
ICFP 2017 profile
Registered user since Tue 20 Dec 2016
Name:
Ian Orton
Contributions
2017
FSCD
Author of Models of Type Theory Based on Moore Paths within the FSCD 2017-track
Share
x
Sat 21 Dec 19:10