On the Expressivity of Minimal Generic Quantification (Q2804937): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2008.12.113
@@ Property / DOI: 10.1016/j.entcs.2008.12.113 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Twelf
@@ Property / describes a project that uses: Twelf / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Tac
@@ Property / describes a project that uses: Tac / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bedwyr
@@ Property / describes a project that uses: Bedwyr / 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.entcs.2008.12.113
+Normal rank
@@ Property / OpenAlex ID @@
+W2017595664
@@ Property / OpenAlex ID: W2017595664 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Expressivity of Minimal Generic Quantification
+Normal rank
@@ Property / cites work @@
+Least and Greatest Fixed Points in Linear Logic
@@ Property / cites work: Least and Greatest Fixed Points in Linear Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Abella Interactive Theorem Prover (System Description)
+Normal rank
@@ Property / cites work @@
+Q2767057
@@ Property / cites work: Q2767057 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with higher-order abstract syntax in a logical framework
+Normal rank
@@ Property / cites work @@
+Uniform proofs as a foundation for logic programming
+Normal rank
@@ Property / cites work @@
+A proof theory for generic judgments
@@ Property / cites work: A proof theory for generic judgments / rank @@
+Normal rank
@@ Property / cites work @@
+A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions
+Normal rank
@@ Property / cites work @@
+Q2871856
@@ Property / cites work: Q2871856 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2008.12.113
@@ Property / DOI: 10.1016/J.ENTCS.2008.12.113 / rank @@
+Normal rank