Login / Signup

Structural Induction and Coinduction in a Fibrational Setting.

Claudio HermidaBart Jacobs
Published in: Inf. Comput. (1998)
Keyphrases