1. A quantitative model for simply typed λ-calculus. (29th June 2022) Authors: Hofmann, Martin; Ledent, Jérémy Journal: Mathematical structures in computer science Issue: Volume 32:Number 6(2022) Page Start: 777 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Type-based analysis of logarithmic amortised complexity. (19th June 2022) Authors: Hofmann, Martin; Leutgeb, Lorenz; Obwaller, David; Moser, Georg; Zuleger, Florian Journal: Mathematical structures in computer science Issue: Volume 32:Number 6(2022) Page Start: 794 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗