Cite
HARVARD Citation
Hofmann, M. et al. (2022). A quantitative model for simply typed λ-calculus. Mathematical structures in computer science. pp. 777-793. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Hofmann, M. et al. (2022). A quantitative model for simply typed λ-calculus. Mathematical structures in computer science. pp. 777-793. [Online].