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.