scientific article; zbMATH DE number 7362470

zbMath1464.68050arXiv1406.2059MaRDI QIDQ4995161

James T. E. Chapman, Andreas Abel

Publication date: 23 June 2021

Full work available at URL: https://arxiv.org/abs/1406.2059

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (4)

Turing-Completeness Totally Free ⋮ POPLMark reloaded: Mechanizing proofs by logical relations ⋮ Flag-based big-step semantics ⋮ Unnamed Item

Uses Software

• Agda

This page was built for publication: