scientific article; zbMATH DE number 7297867

zbMath1452.03137MaRDI QIDQ5144666

Venanzio Capretta, Jonathan Fowler

Publication date: 19 January 2021

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

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

zbMATH Keywords

streamcontinuityfunctional programmingtype theorymonaddialogue treesstrategy treesmonadic stream function

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Functional programming and lambda calculus (68N18) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Intuitionistic mathematics (03F55) Type theory (03B38)

Related Items (1)

Unnamed Item

This page was built for publication: