Explicit substitutions and higher-order syntax (Q853744): Difference between revisions

@@ Property / DOI @@
-.1007/s10990-006-8748-4
@@ Property / DOI: 10.1007/s10990-006-8748-4 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10990-006-8748-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2108760508
@@ Property / OpenAlex ID: W2108760508 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Iteration and coiteration schemes for higher-order and nested datatypes
+Normal rank
@@ Property / cites work @@
+Infinite trees and completely iterative theories: A coalgebraic view
+Normal rank
@@ Property / cites work @@
+Free iterative theories: a coalgebraic view
@@ Property / cites work: Free iterative theories: a coalgebraic view / rank @@
+Normal rank
@@ Property / cites work @@
+On Rational Monads and Free Iterative Theories
@@ Property / cites work: On Rational Monads and Free Iterative Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945244
@@ Property / cites work: Q4945244 / rank @@
+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 @@
+An abstract framework for environment machines
@@ Property / cites work: An abstract framework for environment machines / rank @@
+Normal rank
@@ Property / cites work @@
+A presentation of topoi as algebraic relative to categories or graphs
+Normal rank
@@ Property / cites work @@
+Dualising initial algebras
@@ Property / cites work: Dualising initial algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit substitutions and higher-order syntax
@@ Property / cites work: Explicit substitutions and higher-order syntax / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362961
@@ Property / cites work: Q4362961 / rank @@
+Normal rank
@@ Property / cites work @@
+Composing monads using coproducts
@@ Property / cites work: Composing monads using coproducts / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737122
@@ Property / cites work: Q4737122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843728
@@ Property / cites work: Q2843728 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3702495
@@ Property / cites work: Q3702495 / rank @@
+Normal rank
@@ Property / cites work @@
+On Iteratable Endofunctors
@@ Property / cites work: On Iteratable Endofunctors / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric corecursion
@@ Property / cites work: Parametric corecursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10990-006-8748-4
@@ Property / DOI: 10.1007/S10990-006-8748-4 / rank @@
+Normal rank