Relating Computational Effects by ⊤ ⊤-Lifting (Q3012918): 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-22012-8_13
+Normal rank
@@ Property / OpenAlex ID @@
+W2104602076
@@ Property / OpenAlex ID: W2104602076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813222
@@ Property / cites work: Q4813222 / rank @@
+Normal rank
@@ Property / cites work @@
+On the relations between monadic semantics
@@ Property / cites work: On the relations between monadic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive reasoning about effectful data types
@@ Property / cites work: Inductive reasoning about effectful data types / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for recursion in call-by-value
@@ Property / cites work: Axioms for recursion in call-by-value / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators
+Normal rank
@@ Property / cites work @@
+Logical relations for monadic types
@@ Property / cites work: Logical relations for monadic types / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4283246
@@ Property / cites work: Q4283246 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of strong normalisation for second order classical natural deduction
+Normal rank
@@ Property / cites work @@
+Parametric polymorphism and operational equivalence
+Normal rank
@@ Property / cites work @@
+Semantics for Algebraic Operations
@@ Property / cites work: Semantics for Algebraic Operations / rank @@
+Normal rank
@@ Property / cites work @@
+Handlers of Algebraic Effects
@@ Property / cites work: Handlers of Algebraic Effects / rank @@
+Normal rank