Higher-order minimal function graphs

DOI10.1007/3-540-58431-5_17MaRDI QIDQ4537517zbMATH OpenFDO

Authors Neil D. Jones, Mads Rosendahl

Publication date 1 July 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58431-5_17

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1332637
• scientific article; zbMATH DE number 1236362
• Graph matching in operational semantics and typing
• Higher order interpretation for higher order complexity
• scientific article; zbMATH DE number 4050946

Cited in

(1)

• scientific article; zbMATH DE number 1332637 (Why is no real title available?)

This page was built for publication: Higher-order minimal function graphs

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