Contextual equivalence for inductive definitions with binders in higher order typed functional programming (Q2875221): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Equivariant unification
@@ Property / cites work: Equivariant unification / rank @@
+Normal rank
@@ Property / cites work @@
+Some lambda calculus and type theory formalized
@@ Property / cites work: Some lambda calculus and type theory formalized / rank @@
+Normal rank
@@ Property / cites work @@
+A canonical locally named representation of binding
+Normal rank
@@ Property / cites work @@
+Q2704321
@@ Property / cites work: Q2704321 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the second-order unification problem
+Normal rank
@@ Property / cites work @@
+Howe's method for higher-order languages
@@ Property / cites work: Howe's method for higher-order languages / rank @@
+Normal rank
@@ Property / cites work @@
+Alpha-structural recursion and induction
@@ Property / cites work: Alpha-structural recursion and induction / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence in functional languages with effects
@@ Property / cites work: Equivalence in functional languages with effects / rank @@
+Normal rank
@@ Property / cites work @@
+Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
+Normal rank
@@ Property / cites work @@
+Q2704324
@@ Property / cites work: Q2704324 / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal unification
@@ Property / cites work: Nominal unification / rank @@
+Normal rank
@@ Property / cites work @@
+Encoding abstract syntax without fresh names
@@ Property / cites work: Encoding abstract syntax without fresh names / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+A needed narrowing strategy
@@ Property / cites work: A needed narrowing strategy / rank @@
+Normal rank
@@ Property / cites work @@
+Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
+Normal rank
@@ Property / cites work @@
+On a monadic semantics for freshness
@@ Property / cites work: On a monadic semantics for freshness / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
+Normal rank
@@ Property / cites work @@
+Proving congruence of bisimulation in functional programming languages
+Normal rank
@@ Property / cites work @@
+Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
+Normal rank
@@ Property / cites work @@
+External and internal syntax of the \(\lambda \)-calculus
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Nominal logic, a first order theory of names and binding
+Normal rank
@@ Property / cites work @@
+Capture-avoiding substitution as a nominal algebra
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+The Qu-Prolog unification algorithm: formalisation and correctness
+Normal rank
@@ Property / cites work @@
+A proof theory for generic judgments
@@ Property / cites work: A proof theory for generic judgments / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0956796813000245
+Normal rank
@@ Property / OpenAlex ID @@
+W2093321451
@@ Property / OpenAlex ID: W2093321451 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2875221