Higher-Order Dynamic Pattern Unification for Dependent Types and Records (Q3007654): Difference between revisions

@@ Property / describes a project that uses @@
+Beluga
@@ Property / describes a project that uses: Beluga / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Twelf
@@ Property / describes a project that uses: Twelf / 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.1007/978-3-642-21691-6_5
+Normal rank
@@ Property / OpenAlex ID @@
+W2120226337
@@ Property / OpenAlex ID: W2120226337 / rank @@
+Normal rank
@@ Property / cites work @@
+A Linear Spine Calculus
@@ Property / cites work: A Linear Spine Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Unification with extended patterns
@@ Property / cites work: Unification with extended patterns / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+The undecidability of the second-order unification problem
+Normal rank
@@ Property / cites work @@
+Contextual modal type theory
@@ Property / cites work: Contextual modal type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4812964
@@ Property / cites work: Q4812964 / rank @@
+Normal rank
@@ Property / cites work @@
+Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank