Formalizing non-termination of recursive programs (Q1349246): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222034
@@ Property / cites work: Q4222034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3342534
@@ Property / cites work: Q3342534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. Vol. II
@@ Property / cites work: Combinatory logic. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128540
@@ Property / cites work: Q4128540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3882452
@@ Property / cites work: Q3882452 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3478384
@@ Property / cites work: Q3478384 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4010354
@@ Property / cites work: Q4010354 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138832
@@ Property / cites work: Q3138832 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4202934
@@ Property / cites work: Q4202934 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941991
@@ Property / cites work: Q4941991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4265595
@@ Property / cites work: Q4265595 / rank @@
+Normal rank
@@ Property / cites work @@
+N-strictness in applicative theories
@@ Property / cites work: N-strictness in applicative theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753685
@@ Property / cites work: Q2753685 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. An introduction
@@ Property / cites work: Proof theory. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692506
@@ Property / cites work: Q4692506 / rank @@
+Normal rank
@@ Property / cites work @@
+A type-theoretical alternative to ISWIM, CUCH, OWHY
+Normal rank
@@ Property / cites work @@
+Q4362933
@@ Property / cites work: Q4362933 / rank @@
+Normal rank
@@ Property / cites work @@
+Why the constant ‘undefined’? Logics of partial terms  for strict  and non-strict functional programming languages
+Normal rank
@@ Property / cites work @@
+Q4436035
@@ Property / cites work: Q4436035 / rank @@
+Normal rank
@@ Property / cites work @@
+A Semantics for  : a Calculus with Overloading and Late-binding
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Weak Theories of Operations and Types
@@ Property / cites work: Weak Theories of Operations and Types / rank @@
+Normal rank