Weighted models for higher-order computation (Q2216134): Difference between revisions

@@ Property / cites work @@
+Weighted Relational Models of Typed Lambda-Calculi
+Normal rank
@@ Property / cites work @@
+Normal functors, power series and \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Quantitative domains and infinitary algebras
@@ Property / cites work: Quantitative domains and infinitary algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978971
@@ Property / cites work: Q3978971 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraically compact functors
@@ Property / cites work: Algebraically compact functors / rank @@
+Normal rank
@@ Property / cites work @@
+An Explicit Formula for the Free Exponential Modality of Linear Logic
+Normal rank
@@ Property / cites work @@
+The differential lambda-calculus
@@ Property / cites work: The differential lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Differential categories
@@ Property / cites work: Differential categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q2883127
@@ Property / cites work: Q2883127 / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding Game Semantics Through Coherence Spaces
+Normal rank
@@ Property / cites work @@
+Probabilistic game semantics
@@ Property / cites work: Probabilistic game semantics / rank @@
+Normal rank
@@ Property / cites work @@
+The regular-language semantics of second-order idealized ALGOL
+Normal rank
@@ Property / cites work @@
+Constructing differential categories and deconstructing categories of games
+Normal rank
@@ Property / cites work @@
+Tensor product of partially-additive monoids
@@ Property / cites work: Tensor product of partially-additive monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934678
@@ Property / cites work: Q3934678 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+Game semantics and linear CPS interpretation
@@ Property / cites work: Game semantics and linear CPS interpretation / rank @@
+Normal rank
@@ Property / cites work @@
+Slot games
@@ Property / cites work: Slot games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5579535
@@ Property / cites work: Q5579535 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed Points In Quantitative Semantics
@@ Property / cites work: Fixed Points In Quantitative Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Full Abstraction for Probabilistic PCF
@@ Property / cites work: Full Abstraction for Probabilistic PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Differential interaction nets
@@ Property / cites work: Differential interaction nets / rank @@
+Normal rank
@@ Property / cites work @@
+Computational adequacy for recursive types in models of intuitionistic set theory
+Normal rank
@@ Property / cites work @@
+Q3075441
@@ Property / cites work: Q3075441 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4160405
@@ Property / cites work: Q4160405 / rank @@
+Normal rank