cs-conference-ranking.org Search 971 venues

Cartesian Closed Categories, Quasitopoi and Topological Universes.

Jir Admek, Horst Herrlich

VenueBMFPS

Year1985

ProceedingsMathematical Foundations of Programming Semantics

DBLP recordconf/mfps/AdamekH85 ↗

Browse the full MFPS paper archive.