SN combinators and partial combinatory algebras

DOI10.1007/BFB0052378MaRDI QIDQ3838769zbMATH OpenFDO

Authors Yohji Akama

Publication date 13 August 1998

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

Full work available at URL https://doi.org/10.1007/BFB0052378

zbMATH Keywords

combinatory logicintersection typing systempartial combinatory algebras

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Other algebras related to logic (03G25) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1377610
• Intersection types for combinatory logic
• Finite combinatory logic with intersection types
• Extending partial combinatory algebras

Cited in

(1)

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

This page was built for publication: SN combinators and partial combinatory algebras

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