Unfixing the Fixpoint: The Theories of the λY-Calculus (Q4922079): 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/978-3-642-38164-5_11
+Normal rank
@@ Property / OpenAlex ID @@
+W99014182
@@ Property / OpenAlex ID: W99014182 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction in the lazy lambda calculus
@@ Property / cites work: Full abstraction in the lazy lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783324
@@ Property / cites work: Q4783324 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3206926
@@ Property / cites work: Q3206926 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457450
@@ Property / cites work: Q4457450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099541
@@ Property / cites work: Q4099541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263866
@@ Property / cites work: Q4263866 / rank @@
+Normal rank
@@ Property / cites work @@
+Categories of Coalgebraic Games with Selective Sum
+Normal rank
@@ Property / cites work @@
+On the completeness of order-theoretic models of the \(\lambda \)-calculus
+Normal rank
@@ Property / cites work @@
+An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
+Normal rank
@@ Property / cites work @@
+Q4457459
@@ Property / cites work: Q4457459 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4922079