Substitution in non-wellfounded syntax with variable binding (Q703526): Difference between revisions

@@ Property / cites work @@
+Q4435457
@@ Property / cites work: Q4435457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417851
@@ Property / cites work: Q4417851 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912779
@@ Property / cites work: Q3912779 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738111
@@ Property / cites work: Q4738111 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite trees and completely iterative theories: A coalgebraic view
+Normal rank
@@ Property / cites work @@
+Q4411815
@@ Property / cites work: Q4411815 / 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 @@
+Substitution: A formal methods case study using monads and transformations
+Normal rank
@@ Property / cites work @@
+Generalised folds for nested datatypes
@@ Property / cites work: Generalised folds for nested datatypes / 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 @@
+Generic Programming
@@ Property / cites work: Generic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
+Normal rank
@@ Property / cites work @@
+Coalgebraic Monads
@@ Property / cites work: Coalgebraic Monads / rank @@
+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 @@
+Locus Solum: From the rules of logic to the logic of rules
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3836527
@@ Property / cites work: Q3836527 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary lambda calculus
@@ Property / cites work: Infinitary lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783334
@@ Property / cites work: Q4783334 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843728
@@ Property / cites work: Q2843728 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction of finite and infinite derivations
@@ Property / cites work: Reduction of finite and infinite derivations / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric corecursion
@@ Property / cites work: Parametric corecursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808745
@@ Property / cites work: Q4808745 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic generalization of Frege structures -- binding algebras
+Normal rank
@@ Property / cites work @@
+Q4536403
@@ Property / cites work: Q4536403 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizing Substitution
@@ Property / cites work: Generalizing Substitution / rank @@
+Normal rank
@@ Property / cites work @@
+Q4267198
@@ Property / cites work: Q4267198 / rank @@
+Normal rank