Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marco Gaboardi
A Semantic Account of Metric Preservation
ACM SIGPLAN Notices
Computer Science
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Relational Cost Analysis for Functional-Imperative Programs
Proceedings of the ACM on Programming Languages
Monadic Refinements for Relational Cost Analysis
Proceedings of the ACM on Programming Languages
Combining Effects and Coeffects via Grading
Algebras and Coalgebras in the Light Affine Lambda Calculus
