A Syntactical Approach to Weak omega-Groupoids (2012)
Attributed to:
Theory And Applications of Induction Recursion
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Conference/Paper/Proceeding/Abstract