Martin Hofmann 0001, Jérémy Ledent. A quantitative model for simply typed λ-calculus. Mathematical Structures in Computer Science, 32(6):777-793, June 2022. [doi]
@article{HofmannL22, title = {A quantitative model for simply typed λ-calculus}, author = {Martin Hofmann 0001 and Jérémy Ledent}, year = {2022}, month = {June}, doi = {10.1017/S0960129521000256}, url = {https://doi.org/10.1017/S0960129521000256}, researchr = {https://researchr.org/publication/HofmannL22}, cites = {0}, citedby = {0}, journal = {Mathematical Structures in Computer Science}, volume = {32}, number = {6}, pages = {777-793}, }