https://www.linkedin.com/in/zhuo-zoey-chen-b01762139/?originalSubdomain=au
A Verified Cost Model for Call-By-Push-Value Lambda Calculus
Christine Rizkallah
Toby Murray
Computer Science