Login / Signup

Banach's Fixed-Point Theorem as a base for data-type equations.

Jirí AdámekJan Reiterman
Published in: Appl. Categorical Struct. (1994)
Keyphrases