Defining data structures via Böhm-out
From MaRDI portal
Publication:4836021
DOI10.1017/S0956796800001234zbMath0819.68043OpenAlexW2073845926MaRDI QIDQ4836021
Publication date: 8 June 1995
Published in: Journal of Functional Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0956796800001234
Cites Work
This page was built for publication: Defining data structures via Böhm-out