PhD Abstracts

DOI10.1017/S0956796823000138MaRDI QIDQ6131904zbMATH OpenOpenAlexFDO

Authors Graham Hutton

Publication date 18 April 2024

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

Copyright license Creative Commons Attribution 4.0 International

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

This page was built for publication: PhD Abstracts

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