2 ms·Programming Language Foundations in Agda – Part 3: Denotational Semantics1 points by matt_d 6y ago