Procedural representation of CIC proof terms (Q2655331): 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/s10817-009-9137-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2100997280
@@ Property / OpenAlex ID: W2100997280 / rank @@
+Normal rank
@@ Property / cites work @@
+User interaction with the Matita proof assistant
@@ Property / cites work: User interaction with the Matita proof assistant / rank @@
+Normal rank
@@ Property / cites work @@
+The formal system λδ
@@ Property / cites work: The formal system λδ / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769425
@@ Property / cites work: Q2769425 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413879
@@ Property / cites work: Q4413879 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5753923
@@ Property / cites work: Q5753923 / rank @@
+Normal rank
@@ Property / cites work @@
+A modern perspective on type theory. From its origins until today
+Normal rank
@@ Property / cites work @@
+Mathematical knowledge management in HELM
@@ Property / cites work: Mathematical knowledge management in HELM / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Q4370238
@@ Property / cites work: Q4370238 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5718565
@@ Property / cites work: Q5718565 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4187337
@@ Property / cites work: Q4187337 / rank @@
+Normal rank
@@ Property / cites work @@
+Procedural representation of CIC proof terms
@@ Property / cites work: Procedural representation of CIC proof terms / rank @@
+Normal rank