A 2-categorical parsing theorem (1990)

by J Power
Venue:Journal of Algebra