Coalgebraic Components in a Many-Sorted Microcosm

by Ichiro Hasuo , Chris Heunen , Bart Jacobs , Ana Sokolova
Citations:6 - 3 self