Back to Results
First PageMeta Content
Algebra / Weak topology / Continuous function / Uniform space / Forcing / Topological space / If and only if / Open set / Vector space / Topology / Mathematics / General topology


Continuous Lattices in Formal Topology Sara Negri Department of Philosophy
Add to Reading List

Document Date: 2009-01-13 10:02:37

Open Document

File Size: 216,44 KB

Share Result on Facebook

Country

Finland / /

/

Facility

University of Helsinki / /

Organization

African Union / Formal Topology Sara Negri Department / University of Helsinki / /

Person

Thierry Coquand / Giovanni Sambin / Dana Scott / /

Position

MP / type-theoretical proof editor / /

Technology

AV / /

SocialTag