The relational machine calculus

DOI10.1145/3661814.3662091MaRDI QIDQ6970273zbMATH OpenFDO

Authors Chris Barrett, Daniel Castle, Willem Heijltjes

Publication date 18 June 2025

zbMATH Keywords

categorical semanticslambda-calculusnon-determinismKleene algebralogic programmingoperational semanticsreversible programmingKrivine abstract machinehypergraph category

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic programming (68N17) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

This page was built for publication: The relational machine calculus

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