printable pdf
比利时vs摩洛哥足彩 ,
university of california san diego

****************************

homotopy type theory seminar

michael shulman

ucsd

inductive types and equality types

february 7, 2012

9:30 am

ap&m 5402

****************************