DMCA

Structural induction in institutions

by Răzvan Diaconescu
Venue:Information and Computation
Citations:4 - 1 self