Publication:5144660

zbMath1452.03039MaRDI QIDQ5144660

Pierre-Marie Pédrot, Nicolas Tabareau

Publication date: 19 January 2021

Full work available at URL: http://dl.acm.org/citation.cfm?id=3330048

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

68N18: Functional programming and lambda calculus

18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads

03B38: Type theory

Related Items

Higher order functions and Brouwer’s thesis, Unnamed Item