The lambda-context calculus (extended version) (Q1044184): Difference between revisions

@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Q4912847
@@ Property / cites work: Q4912847 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of lambda calculus contexts
@@ Property / cites work: A calculus of lambda calculus contexts / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Nominal Equational Logic
@@ Property / cites work: Nominal Equational Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A lambda-calculus for dynamic binding
@@ Property / cites work: A lambda-calculus for dynamic binding / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal rewriting
@@ Property / cites work: Nominal rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q2871858
@@ Property / cites work: Q2871858 / rank @@
+Normal rank
@@ Property / cites work @@
+A Nominal Axiomatization of the Lambda Calculus
@@ Property / cites work: A Nominal Axiomatization of the Lambda Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Capture-avoiding substitution as a nominal algebra
+Normal rank
@@ Property / cites work @@
+Nominal (Universal) Algebra: Equational Logic with Names and Binding
+Normal rank
@@ Property / cites work @@
+One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations
+Normal rank
@@ Property / cites work @@
+Two-level Lambda-calculus
@@ Property / cites work: Two-level Lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Q4411846
@@ Property / cites work: Q4411846 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A typed context calculus
@@ Property / cites work: A typed context calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4435469
@@ Property / cites work: Q4435469 / rank @@
+Normal rank
@@ Property / cites work @@
+Enriching the lambda calculus with contexts
@@ Property / cites work: Enriching the lambda calculus with contexts / rank @@
+Normal rank
@@ Property / cites work @@
+A Formal Calculus for Informal Equality with Binding
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q2704328
@@ Property / cites work: Q2704328 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721104
@@ Property / cites work: Q2721104 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2708319
@@ Property / cites work: Q2708319 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763701
@@ Property / cites work: Q2763701 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel reductions in \(\lambda\)-calculus
@@ Property / cites work: Parallel reductions in \(\lambda\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal unification
@@ Property / cites work: Nominal unification / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Foundations for Predicate Logic
@@ Property / cites work: Modal Foundations for Predicate Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789460
@@ Property / cites work: Q4789460 / rank @@
+Normal rank