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

@@ Property / author @@
-Murdoch James Gabbay
@@ Property / author: Murdoch James Gabbay / rank @@
-Normal rank
@@ Property / author @@
+Murdoch James Gabbay
@@ Property / author: Murdoch James Gabbay / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2009.09.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2076703601
@@ Property / OpenAlex ID: W2076703601 / rank @@
+Normal rank
@@ 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