Report copyright - Higher Inductive Types: The circle and friends, axiomaticallypages.cpsc.ucalgary.ca/~robin/FMCS/FMCS2011/... · The circle and friends, axiomatically Peter Lumsdaine Dalhousie University
Please pass captcha verification before submit form