Higher-order substitutions (Q1854398): Difference between revisions

@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ALF
@@ Property / describes a project that uses: ALF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ALGOL 60
@@ Property / describes a project that uses: ALGOL 60 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Nuprl
@@ Property / describes a project that uses: Nuprl / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2086668518
@@ Property / OpenAlex ID: W2086668518 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient interpreter for the lambda-calculus
@@ Property / cites work: An efficient interpreter for the lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4261732
@@ Property / cites work: Q4261732 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789049
@@ Property / cites work: Q3789049 / rank @@
+Normal rank
@@ Property / cites work @@
+The Calculi of Lambda Conversion. (AM-6)
@@ Property / cites work: The Calculi of Lambda Conversion. (AM-6) / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3793765
@@ Property / cites work: Q3793765 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Correspondence between ALGOL 60 and Church's Lambda-notation
+Normal rank
@@ Property / cites work @@
+Q3211296
@@ Property / cites work: Q3211296 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order rewrite systems and their confluence
@@ Property / cites work: Higher-order rewrite systems and their confluence / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
+Normal rank
@@ Property / cites work @@
+Uniform proofs as a foundation for logic programming
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Q4281481
@@ Property / cites work: Q4281481 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012879
@@ Property / cites work: Q4012879 / rank @@
+Normal rank
@@ Property / cites work @@
+Metacircularity in the polymorphic \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+A theory of binding structures and applications to rewriting
+Normal rank
@@ Property / cites work @@
+Correctness of procedure representations in higher-order assembly language
+Normal rank
@@ Property / cites work @@
+Conditional lambda-theories and the verification of static properties of programs
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1854398