Q5101336 (Q5101336): Difference between revisions

@@ Property / author @@
-Andre Hirschowitz
@@ Property / author: Andre Hirschowitz / rank @@
-Normal rank
@@ Property / author @@
+Andre Hirschowitz
@@ Property / author: Andre Hirschowitz / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Skew confluence and the lambda calculus with letrec
+Normal rank
@@ Property / cites work @@
+A Fresh Look at the λ-Calculus
@@ Property / cites work: A Fresh Look at the λ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Monads need not be endofunctors
@@ Property / cites work: Monads need not be endofunctors / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic models of simple type theories
@@ Property / cites work: Algebraic models of simple type theories / rank @@
+Normal rank
@@ Property / cites work @@
+High-level signatures and initial semantics
@@ Property / cites work: High-level signatures and initial semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5089005
@@ Property / cites work: Q5089005 / rank @@
+Normal rank
@@ Property / cites work @@
+Initiality for Typed Syntax and Semantics
@@ Property / cites work: Initiality for Typed Syntax and Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Modules over relative monads for syntax and semantics
+Normal rank
@@ Property / cites work @@
+Coproducts of Monads on Set
@@ Property / cites work: Coproducts of Monads on Set / rank @@
+Normal rank
@@ Property / cites work @@
+A Categorical Semantics for Inductive-Inductive Definitions
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945244
@@ Property / cites work: Q4945244 / rank @@
+Normal rank
@@ Property / cites work @@
+Coequalizers and free triples
@@ Property / cites work: Coequalizers and free triples / rank @@
+Normal rank
@@ Property / cites work @@
+Differential categories
@@ Property / cites work: Differential categories / rank @@
+Normal rank
@@ Property / cites work @@
+Substitution: A formal methods case study using monads and transformations
+Normal rank
@@ Property / cites work @@
+A Cellular Howe Theorem
@@ Property / cites work: A Cellular Howe Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+Q4314472
@@ Property / cites work: Q4314472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to differential linear logic: proof-nets, models and antiderivatives
+Normal rank
@@ Property / cites work @@
+The differential lambda-calculus
@@ Property / cites work: The differential lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On the construction of free algebras for equational systems
+Normal rank
@@ Property / cites work @@
+Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
+Normal rank
@@ Property / cites work @@
+List Objects with Algebraic Structure
@@ Property / cites work: List Objects with Algebraic Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial structure of type dependency
@@ Property / cites work: Combinatorial structure of type dependency / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
+Normal rank
@@ Property / cites work @@
+Modules over Monads and Linearity
@@ Property / cites work: Modules over Monads and Linearity / rank @@
+Normal rank
@@ Property / cites work @@
+Modules over monads and initial semantics
@@ Property / cites work: Modules over monads and initial semantics / rank @@
+Normal rank
@@ Property / cites work @@
+The linear-non-linear substitution 2-monad
@@ Property / cites work: The linear-non-linear substitution 2-monad / rank @@
+Normal rank
@@ Property / cites work @@
+Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
+Normal rank
@@ Property / cites work @@
+A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
+Normal rank
@@ Property / cites work @@
+Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
+Normal rank
@@ Property / cites work @@
+On the monadicity of finitary monads
@@ Property / cites work: On the monadicity of finitary monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Syntax: Substitution and Binders
@@ Property / cites work: Abstract Syntax: Substitution and Binders / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-value Solvability
@@ Property / cites work: Call-by-value Solvability / rank @@
+Normal rank
@@ Property / cites work @@
+A left adjoint construction related to free triples
+Normal rank
@@ Property / cites work @@
+Tensors, monads and actions
@@ Property / cites work: Tensors, monads and actions / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3156505
@@ Property / cites work: Q3156505 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5101336