×

Three syntactic theories for combinatory graph reduction. (English) Zbl 1353.68040

MSC:

68N18 Functional programming and lambda calculus
03B40 Combinatory logic and lambda calculus
05C90 Applications of graph theory
PDFBibTeX XMLCite
Full Text: DOI