Normalisation of the theory $\mathbf {T}$ of Cartesian closed categories and conservativity of extensions $mathbf{T}[x]$ of $mathbf{T}$

Anne Preller; P. Duroux

Displaying similar documents to “Normalisation of the theory $𝐓$ of Cartesian closed categories and conservativity of extensions $m a t h b f T [x]$ of $m a t h b f T$ ”

Substitution up to isomorphism

P.-L. Curien (1990)

Diagrammes

Similarity:

Coproducts of ideal monads

Neil Ghani, Tarmo Uustalu (2004)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

The question of how to combine monads arises naturally in many areas with much recent interest focusing on the coproduct of two monads. In general, the coproduct of arbitrary monads does not always exist. Although a rather general construction was given by Kelly [Bull. Austral. Math. Soc. 22 (1980) 1–83], its generality is reflected in its complexity which limits the applicability of this construction. Following our own research [C. Lüth and N. Ghani, Lect. Notes Artif. Intell. 2309...

Encoding fix in object calculi

Roy L. Crole (2000)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

CPO-models for second order lambda calculus with recursive types and subtyping

E. Poll, C. Hemerik, H. M. M. Ten Eikelder (1993)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

Final dialgebras : from categories to allegories

Roland Backhouse, Paul Hoogendijk (1999)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

Behaviour of machines in categories

Věra Trnková (1979)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Displaying similar documents to “Normalisation of the theory 𝐓 of Cartesian closed categories and conservativity of extensions m a t h b f T [ x ] of m a t h b f T ”

Substitution up to isomorphism

Coproducts of ideal monads

Encoding fix in object calculi

CPO-models for second order lambda calculus with recursive types and subtyping

Final dialgebras : from categories to allegories

Behaviour of machines in categories

Displaying similar documents to “Normalisation of the theory $𝐓$ of Cartesian closed categories and conservativity of extensions $m a t h b f T [x]$ of $m a t h b f T$ ”