Login / Signup

Fibrational Induction Rules for Initial Algebras.

Neil GhaniPatricia JohannClément Fumex
Published in: CSL (2010)
Keyphrases