A Meta Linear Logical Framework (Q2871843): Difference between revisions

@@ Property / author @@
-Carsten Schuermann
@@ Property / author: Carsten Schuermann / rank @@
-Normal rank
@@ Property / author @@
+Carsten Schuermann
@@ Property / author: Carsten Schuermann / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL Light
@@ Property / describes a project that uses: HOL Light / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / 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.2007.11.016
+Normal rank
@@ Property / OpenAlex ID @@
+W2140623168
@@ Property / OpenAlex ID: W2140623168 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472433
@@ Property / cites work: Q4472433 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012882
@@ Property / cites work: Q4012882 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear logical framework
@@ Property / cites work: A linear logical framework / rank @@
+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 @@
+Linear logic
@@ Property / cites work: Linear logic / 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 @@
+Isabelle. A generic theorem prover
@@ Property / cites work: Isabelle. A generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-19
@@ Property / cites work: Automated Deduction – CADE-19 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783333
@@ Property / cites work: Q4783333 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844807
@@ Property / cites work: Q2844807 / rank @@
+Normal rank