Proving Properties about Lists Using Containers

DOI10.1007/978-3-540-78969-7_9zbMath1137.68575OpenAlexW4210456832MaRDI QIDQ5458431

Conor McBride, Neil Ghani, Rawle Prince

Publication date: 11 April 2008

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78969-7_9

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (2)

Proving Properties about Functions on Lists Involving Element Tests ⋮ Graphical reasoning in compact closed categories for quantum computation

Uses Software

• Unnamed Item

This page was built for publication: Proving Properties about Lists Using Containers