A well-known representation of monoids and its application to the function ‘vector reverse’

DOI10.1017/S0956796822000065OpenAlexW4290608224MaRDI QIDQ5101924

Wouter Swierstra

Publication date: 2 September 2022

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796822000065

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Definitional Side of the Forcing
• Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids
• A type- and scope-safe universe of syntaxes with binding: their semantics and proofs

This page was built for publication: A well-known representation of monoids and its application to the function ‘vector reverse’