Encoding FIX in Object Calculi (Q4494479): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2073134577
@@ Property / OpenAlex ID: W2073134577 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
+Normal rank
@@ Property / cites work @@
+Q4222760
@@ Property / cites work: Q4222760 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288818
@@ Property / cites work: Q4288818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296744
@@ Property / cites work: Q4296744 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225152
@@ Property / cites work: Q4225152 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank