Travelled to:1 × France
Collaborated with:T.Altenkirch
Talks about:groupoid (1) approach (1) syntact (1) weak (1)
Person: Ondrej Rypacek
DBLP: Rypacek:Ondrej
Contributed to:
Wrote 1 papers:
- CSL-2012-AltenkirchR #approach
- A Syntactical Approach to Weak ω-Groupoids (TA, OR), pp. 16–30.












