Differential logical relations, Part I: The simply-typed case (Q5091273): Difference between revisions

@@ label / en / label / en @@
+Differential logical relations, Part I: The simply-typed case
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation, Logical Relations, and Kan Extensions
+Normal rank
@@ Property / cites work @@
+Change actions: models of generalised differentiation
+Normal rank
@@ Property / cites work @@
+Metric interpretations of infinite trees and semantics of non deterministic recursive programs
+Normal rank
@@ Property / cites work @@
+Denotational semantics in the cpo and metric approach
+Normal rank
@@ Property / cites work @@
+Partial Metric Spaces
@@ Property / cites work: Partial Metric Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Bisimulation Metrics
@@ Property / cites work: Generalized Bisimulation Metrics / rank @@
+Normal rank
@@ Property / cites work @@
+Metric reasoning about &amp;#x003BB;-terms: The affine case
@@ Property / cites work: Metric reasoning about λ-terms: The affine case / rank @@
+Normal rank
@@ Property / cites work @@
+Metric Reasoning About $$\lambda $$-Terms: The General Case
+Normal rank
@@ Property / cites work @@
+A semantic account of metric preservation
@@ Property / cites work: A semantic account of metric preservation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3935454
@@ Property / cites work: Q3935454 / rank @@
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Behavioural Reasoning for Higher-order Effectful Programs
+Normal rank
@@ Property / cites work @@
+Monoidal Topology
@@ Property / cites work: Monoidal Topology / rank @@
+Normal rank
@@ Property / cites work @@
+Metric spaces, generalized logic, and closed categories
+Normal rank
@@ Property / cites work @@
+Distance makes the types grow stronger
@@ Property / cites work: Distance makes the types grow stronger / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996704
@@ Property / cites work: Q3996704 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685626
@@ Property / cites work: Q5685626 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to metric semantics: Operational and denotational models for programming and specification languages
+Normal rank
@@ Property / cites work @@
+A behavioural pseudometric for probabilistic transition systems
+Normal rank
@@ Property / cites work @@
+Q4535035
@@ Property / cites work: Q4535035 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2965648770
@@ Property / OpenAlex ID: W2965648770 / rank @@
+Normal rank
@@ Property / title @@
+Differential logical relations, Part I: The simply-typed case (English)
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5091273