Login / Signup

Équivalence naturelle et formules logiques en théorie des catégories.

Georges Blanc
Published in: Arch. Math. Log. (1978)
Keyphrases