scientific article; zbMATH DE number 1189067

MaRDI QIDQ3838769zbMATH OpenFDO

Authors Yohji Akama

Publication date 13 August 1998

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:

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