Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms (Q964000): Difference between revisions

@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / 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 @@
+Q4876818
@@ Property / cites work: Q4876818 / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing Nominal Unification
@@ Property / cites work: Implementing Nominal Unification / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3793765
@@ Property / cites work: Q3793765 / rank @@
+Normal rank
@@ Property / cites work @@
+Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques
+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 @@
+Fresh logic: Proof-theory and semantics for FM and nominal techniques
+Normal rank
@@ Property / cites work @@
+Q4411846
@@ Property / cites work: Q4411846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2871868
@@ Property / cites work: Q2871868 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda-context calculus (extended version)
@@ Property / cites work: The lambda-context calculus (extended version) / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+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 @@
+One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations
+Normal rank
@@ Property / cites work @@
+Q3021911
@@ Property / cites work: Q3021911 / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+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 @@
+Unification under a mixed prefix
@@ Property / cites work: Unification under a mixed prefix / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281480
@@ Property / cites work: Q4281480 / rank @@
+Normal rank
@@ Property / cites work @@
+The foundation of a generic theorem prover
@@ Property / cites work: The foundation of a generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Adapting Proofs-as-Programs
@@ Property / cites work: Adapting Proofs-as-Programs / 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 @@
+Q4309355
@@ Property / cites work: Q4309355 / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal unification
@@ Property / cites work: Nominal unification / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank