Logical Relations and Nondeterminism (Q5256338): 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-319-15545-6_7
+Normal rank
@@ Property / OpenAlex ID @@
+W951160772
@@ Property / OpenAlex ID: W951160772 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract effects and proof-relevant logical relations
+Normal rank
@@ Property / cites work @@
+Q4649541
@@ Property / cites work: Q4649541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4192046
@@ Property / cites work: Q4192046 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912057
@@ Property / cites work: Q3912057 / rank @@
+Normal rank
@@ Property / cites work @@
+Relating Computational Effects by ⊤ ⊤-Lifting
@@ Property / cites work: Relating Computational Effects by ⊤ ⊤-Lifting / rank @@
+Normal rank
@@ Property / cites work @@
+Classical logic, storage operators and second-order lambda-calculus
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281486
@@ Property / cites work: Q4281486 / rank @@
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank