Encoding natural semantics in Coq (Q5096388): Difference between revisions

@@ 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/3-540-60043-4_56
+Normal rank
@@ Property / OpenAlex ID @@
+W1596425290
@@ Property / OpenAlex ID: W1596425290 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490725
@@ Property / cites work: Q4490725 / rank @@
+Normal rank
@@ Property / cites work @@
+A formulation of the simple theory of types
@@ Property / cites work: A formulation of the simple theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4004235
@@ Property / cites work: Q4004235 / rank @@
+Normal rank
@@ Property / cites work @@
+Theo: An interactive proof development system
@@ Property / cites work: Theo: An interactive proof development system / 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 @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281483
@@ Property / cites work: Q4281483 / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference with simple subtypes
@@ Property / cites work: Type inference with simple subtypes / rank @@
+Normal rank