From Program Equivalences to Program Metrics - Ugo Dal Lago [1/4]
Channel: OPLSS
Date: 2021-07-30

Oregon Programming Languages Summer School (OPLSS)
Foundations of Programming and Security
June 14-26, 2021
https://is.gd/OPLSS2021

Topic: From Program Equivalences to Program Metrics
Lecturer: Ugo Dal Lago (University of Bologna)

OPLSS is a production of the Department of Computer and Information Science at the University of Oregon
https://cs.uoregon.edu/

Copyright © 2021 by the University of Oregon

This work is published under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International license. See https://is.gd/0WxWNM