Q4668854 (Q4668854): Difference between revisions

@@ Property / cites work @@
+Q5582216
@@ Property / cites work: Q5582216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5701018
@@ Property / cites work: Q5701018 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413070
@@ Property / cites work: Q4413070 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to bicategories
@@ Property / cites work: Introduction to bicategories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5762080
@@ Property / cites work: Q5762080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3240881
@@ Property / cites work: Q3240881 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5515373
@@ Property / cites work: Q5515373 / rank @@
+Normal rank
@@ Property / cites work @@
+Filter Monads, Continuous Lattices and Closure Systems
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692630
@@ Property / cites work: Q4692630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5612499
@@ Property / cites work: Q5612499 / rank @@
+Normal rank
@@ Property / cites work @@
+The class of topological spaces is equationally definable
+Normal rank
@@ Property / cites work @@
+General Theory of Natural Equivalences
@@ Property / cites work: General Theory of Natural Equivalences / rank @@
+Normal rank
@@ Property / cites work @@
+Adjoint functors and triples
@@ Property / cites work: Adjoint functors and triples / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-simplicial complexes and singular homology
@@ Property / cites work: Semi-simplicial complexes and singular homology / rank @@
+Normal rank
@@ Property / cites work @@
+Q4500949
@@ Property / cites work: Q4500949 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra valued functors in general and tensor products in particular
+Normal rank
@@ Property / cites work @@
+Q5580926
@@ Property / cites work: Q5580926 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3247612
@@ Property / cites work: Q3247612 / rank @@
+Normal rank
@@ Property / cites work @@
+An application of nonstandard analysis to category
+Normal rank
@@ Property / cites work @@
+Q3697016
@@ Property / cites work: Q3697016 / rank @@
+Normal rank
@@ Property / cites work @@
+On the non-existence of free complete Boolean algebras
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy theory in general categories
@@ Property / cites work: Homotopy theory in general categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343379
@@ Property / cites work: Q5343379 / rank @@
+Normal rank
@@ Property / cites work @@
+General Functorial Semantics, I
@@ Property / cites work: General Functorial Semantics, I / rank @@
+Normal rank
@@ Property / cites work @@
+Functorial implicit operations
@@ Property / cites work: Functorial implicit operations / rank @@
+Normal rank
@@ Property / cites work @@
+Generating the algebraic theory of C(X)
@@ Property / cites work: Generating the algebraic theory of C(X) / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics for shape
@@ Property / cites work: A semantics for shape / rank @@
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Adjoint Functors
@@ Property / cites work: Adjoint Functors / rank @@
+Normal rank
@@ Property / cites work @@
+Equational completion, model induced triples and pro-objects
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Every Standard Construction is Induced by a Pair of Adjoint Functors
+Normal rank
@@ Property / cites work @@
+Monads for which structures are adjoint to units
@@ Property / cites work: Monads for which structures are adjoint to units / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541361
@@ Property / cites work: Q5541361 / rank @@
+Normal rank
@@ Property / cites work @@
+Some algebraic problems in the context of functorial semantics of algebraic theories
+Normal rank
@@ Property / cites work @@
+Q4362973
@@ Property / cites work: Q4362973 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5622475
@@ Property / cites work: Q5622475 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5599205
@@ Property / cites work: Q5599205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5523691
@@ Property / cites work: Q5523691 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5570958
@@ Property / cites work: Q5570958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5570959
@@ Property / cites work: Q5570959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5570960
@@ Property / cites work: Q5570960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5634145
@@ Property / cites work: Q5634145 / rank @@
+Normal rank
@@ Property / cites work @@
+Applied functorial semantics. I
@@ Property / cites work: Applied functorial semantics. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343374
@@ Property / cites work: Q5343374 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5579534
@@ Property / cites work: Q5579534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4123496
@@ Property / cites work: Q4123496 / rank @@
+Normal rank
@@ Property / cites work @@
+A class of fuzzy theories
@@ Property / cites work: A class of fuzzy theories / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate Transformer Semantics
@@ Property / cites work: Predicate Transformer Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing collection classes with monads
@@ Property / cites work: Implementing collection classes with monads / rank @@
+Normal rank
@@ Property / cites work @@
+Taut monads and \(T0\)-spaces.
@@ Property / cites work: Taut monads and \(T0\)-spaces. / rank @@
+Normal rank
@@ Property / cites work @@
+On Fundamental Constructions and Adjoint Functors
@@ Property / cites work: On Fundamental Constructions and Adjoint Functors / rank @@
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4327833
@@ Property / cites work: Q4327833 / rank @@
+Normal rank
@@ Property / cites work @@
+Monads and algebras in the semantics of partial data types
+Normal rank
@@ Property / cites work @@
+Duality in analysis from the point of view of triples
+Normal rank
@@ Property / cites work @@
+On absolute colimits
@@ Property / cites work: On absolute colimits / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692880
@@ Property / cites work: Q4692880 / rank @@
+Normal rank
@@ Property / cites work @@
+Relation of the Exact Transient Solution for a Line Source near an Interface between Two Fluids to Geometrical Acoustics
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q5685626
@@ Property / cites work: Q5685626 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4774170
@@ Property / cites work: Q4774170 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131415
@@ Property / cites work: Q4131415 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5567917
@@ Property / cites work: Q5567917 / rank @@
+Normal rank
@@ Property / cites work @@
+A functional theory of exceptions
@@ Property / cites work: A functional theory of exceptions / rank @@
+Normal rank
@@ Property / cites work @@
+New proof of a theorem of Gaifman and Hales
@@ Property / cites work: New proof of a theorem of Gaifman and Hales / rank @@
+Normal rank
@@ Property / cites work @@
+Comprehending monads
@@ Property / cites work: Comprehending monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q5831366
@@ Property / cites work: Q5831366 / rank @@
+Normal rank