Semantics of Meta-Logic in an Algebra of Programs

Antonio Brogi, Franco Turini

Browse the full LICS paper archive.