Browsing by Author "Primiero, Giuseppe"
Now showing items 1-1 of 1
-
HTLC: Hyperintensional typed lambda calculus
Fait, Michal; Primiero, Giuseppe (Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications. 2021, vol. 8, issue 2, p. 469-495.)