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) ↗