The functional machine calculus

DOI10.46298/ENTICS.10513MaRDI QIDQ6831511zbMATH OpenFDO

Authors Willem Heijltjes

Publication date 2 April 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

computational effectsconfluencelambda-calculusconcatenative programming

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

This page was built for publication: The functional machine calculus

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