Till Mossakowski
(2000-2009)
XInstitutional 2-cells and grothendieck institutions
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
(2000-2009)
XInstitutional 2-cells and grothendieck institutions
2006
in: Algebra, meaning, and computation, Dordrecht : Springer