Two-level Lambda-calculus (Q4982628): Difference between revisions

@@ Property / cites work @@
+A calculus of lambda calculus contexts
@@ Property / cites work: A calculus of lambda calculus contexts / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A formulation of the simple theory of types
@@ Property / cites work: A formulation of the simple theory of types / 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 @@
+Curry-Style Types for Nominal Terms
@@ Property / cites work: Curry-Style Types for Nominal Terms / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal rewriting
@@ Property / cites work: Nominal rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+A general mathematics of names
@@ Property / cites work: A general mathematics of names / rank @@
+Normal rank
@@ Property / cites work @@
+Q2871868
@@ Property / cites work: Q2871868 / rank @@
+Normal rank
@@ Property / cites work @@
+Capture-Avoiding Substitution as a Nominal Algebra
+Normal rank
@@ Property / cites work @@
+One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations
+Normal rank
@@ Property / cites work @@
+A Formal Calculus for Informal Equality with Binding
+Normal rank
@@ Property / cites work @@
+One-and-a-halfth-order Logic
@@ Property / cites work: One-and-a-halfth-order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Capture-avoiding substitution as a nominal algebra
+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 @@
+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 @@
+Q4001983
@@ Property / cites work: Q4001983 / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual modal type theory
@@ Property / cites work: Contextual modal type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2708319
@@ Property / cites work: Q2708319 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal unification
@@ Property / cites work: Nominal unification / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789460
@@ Property / cites work: Q4789460 / rank @@
+Normal rank