A Syntactical Approach to Weak omega-Groupoids.

Thorsten Altenkirch, Ondrej Rypacek

Browse the full CSL paper archive.