Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Johnstone, P.T.
1994.
Variations on the bagdomain theme.
Theoretical Computer Science,
Vol. 136,
Issue. 1,
p.
3.
Bunge, M.
and
Funk, J.
1996.
Spreads and the symmetric topos.
Journal of Pure and Applied Algebra,
Vol. 113,
Issue. 1,
p.
1.
Hirschowitz, Tom
and
Pous, Damien
2011.
Innocent strategies as presheaves and interactive equivalences for CCS.
Electronic Proceedings in Theoretical Computer Science,
Vol. 59,
Issue. ,
p.
2.
SZAWIEL, STANISŁAW
and
ZAWADOWSKI, MAREK
2014.
Theories of analytic monads.
Mathematical Structures in Computer Science,
Vol. 24,
Issue. 6,
Clementino, Maria Manuel
Hofmann, Dirk
and
Janelidze, George
2014.
The monads of classical algebra are seldom weakly cartesian.
Journal of Homotopy and Related Structures,
Vol. 9,
Issue. 1,
p.
175.
BOJAŃCZYK, MIKOŁAJ
SZAWIEL, STANISŁAW
and
ZAWADOWSKI, MAREK
2014.
Rigidity is undecidable.
Mathematical Structures in Computer Science,
Vol. 24,
Issue. 6,
Sterling, Jonathan
and
Harper, Robert
2021.
Logical Relations as Types: Proof-Relevant Parametricity for Program Modules.
Journal of the ACM,
Vol. 68,
Issue. 6,
p.
1.