scientific article
zbMath1276.03016MaRDI QIDQ2863881
Misao Nagayama, J. M. E. Hyland, Giuseppe Rosolini, A. John Power
Publication date: 4 December 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106003999?np=y
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
commutative monoidCartesian closed categorydistributive lawuntyped \(\lambda\)-calculusKleisli constructionEngeler modelfinite multisetfinite powerset
Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (10)
This page was built for publication: