Login / Signup

Structural induction in institutions.

Razvan Diaconescu
Published in: Inf. Comput. (2011)
Keyphrases