A set constructor for inductive sets in Martin-Löf's type theory (Q5096257): Difference between revisions

@@ Property / cites work @@
+Derivation of a parsing algorithm in Martin-Löf's theory of types
+Normal rank
@@ Property / cites work @@
+Q3702502
@@ Property / cites work: Q3702502 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing inductively defined sets by wellorderings in Martin-Löf's type theory
+Normal rank
@@ Property / cites work @@
+Recursive data structures
@@ Property / cites work: Recursive data structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3886868
@@ Property / cites work: Q3886868 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / cites work @@
+Revised report on the algorithmic language ALGOL 68
+Normal rank