TY  - RPRT
TI  - Higher-Order DisCoCat (Peirce-Lambek-Montague semantics)
AU  - Alexis Toumi
AU  - Giovanni de Felice
PY  - 2025
DO  - 10.4204/eptcs.429.7
UR  - https://arxiv.org/abs/2311.17813
ID  - 2311.17813
ER  -