scientific article; zbMATH DE number 7297861

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Functional programming and lambda calculus (68N18) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Type theory (03B38)

Related Items (2)

Unnamed Item ⋮ Higher order functions and Brouwer’s thesis

This page was built for publication: