Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I (Q2866803): 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.1016/j.entcs.2007.02.050
+Normal rank
@@ Property / OpenAlex ID @@
+W2070114636
@@ Property / OpenAlex ID: W2070114636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+The duality of computation
@@ Property / cites work: The duality of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Type checking with universes
@@ Property / cites work: Type checking with universes / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413879
@@ Property / cites work: Q4413879 / rank @@
+Normal rank