Q4580223 (Q4580223): Difference between revisions

@@ Property / cites work @@
+Termination checking with types
@@ Property / cites work: Termination checking with types / rank @@
+Normal rank
@@ Property / cites work @@
+Iteration and coiteration schemes for higher-order and nested datatypes
+Normal rank
@@ Property / cites work @@
+Univalent categories and the Rezk completion
@@ Property / cites work: Univalent categories and the Rezk completion / rank @@
+Normal rank
@@ Property / cites work @@
+From signatures to monads in \textsf{UniMath}
@@ Property / cites work: From signatures to monads in \textsf{UniMath} / rank @@
+Normal rank
@@ Property / cites work @@
+Some Wellfounded Trees in UniMath
@@ Property / cites work: Some Wellfounded Trees in UniMath / 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 @@
+Q4945244
@@ Property / cites work: Q4945244 / rank @@
+Normal rank
@@ Property / cites work @@
+Substitution: A formal methods case study using monads and transformations
+Normal rank
@@ Property / cites work @@
+de Bruijn notation as a nested datatype
@@ Property / cites work: de Bruijn notation as a nested datatype / rank @@
+Normal rank
@@ Property / cites work @@
+Generalised folds for nested datatypes
@@ Property / cites work: Generalised folds for nested datatypes / rank @@
+Normal rank
@@ Property / cites work @@
+Q5854736
@@ Property / cites work: Q5854736 / rank @@
+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 @@
+Q4247303
@@ Property / cites work: Q4247303 / rank @@
+Normal rank
@@ Property / cites work @@
+Disciplined, efficient, generalised folds for nested datatypes
+Normal rank
@@ Property / cites work @@
+Map fusion for nested datatypes in intensional type theory
+Normal rank
@@ Property / cites work @@
+Substitution in non-wellfounded syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Inductive types and type constraints in the second-order lambda calculus
+Normal rank
@@ Property / cites work @@
+Constructing categories and setoids of setoids in type theory
+Normal rank
@@ Property / cites work @@
+Universe Polymorphism in Coq
@@ Property / cites work: Universe Polymorphism in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+An experimental library of formalized Mathematics based on the univalent foundations
+Normal rank