Personal information

Activities

Works (1)

Super-naturals

Journal of Functional Programming
2022 | Journal article
Contributors: RALF HINZE; COLIN RUNCIMAN
Source: check_circle
Crossref