Types are weak ω -groupoids Academic Article uri icon

publication date

  • October 12, 2010

start page

  • 370

end page

  • 394

volume

  • 102

issue

  • 2