Login / Signup

Indexed Induction and Coinduction, Fibrationally.

Neil GhaniPatricia JohannClément Fumex
Published in: Log. Methods Comput. Sci. (2013)
Keyphrases