Recursion schemes in Coq

DOI10.1007/978-3-030-34175-6_11zbMATH Open1542.68036MaRDI QIDQ6536316

Kosuke Murata, Kento Emoto

Publication date: 19 April 2024

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formalization of mathematics in connection with theorem provers (68V20)

This page was built for publication: Recursion schemes in Coq

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6536316)