Extension of combinatory logic to a theory of combinatory representation

DOI10.1016/0304-3975(92)90392-SMaRDI QIDQ1193865zbMATH OpenOpenAlexFDO

Authors Trudy Weibel

Publication date 27 September 1992

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(92)90392-s

zbMATH Keywords

algorithmic classescombinatory logicrepresentations of algebraic classessemi-universal combinatory modeluniversal classesuniversal combinatory modelsvarieties

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Varieties (08B99)

Recommendations

• scientific article; zbMATH DE number 3889503
• Representation of varieties in combinatory algebras
• scientific article; zbMATH DE number 722586
• Consistency and axiomatization of a natural extensional combinatory logic
• scientific article; zbMATH DE number 4004153

Cites work

• Combinatory differential fields
• scientific article; zbMATH DE number 3875232 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 44536 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Representation of varieties in combinatory algebras

Cited in

(9)

• Consistency and axiomatization of a natural extensional combinatory logic
• Representation of varieties in combinatory algebras
• scientific article; zbMATH DE number 3889503 (Why is no real title available?)
• scientific article; zbMATH DE number 5667200 (Why is no real title available?)
• scientific article; zbMATH DE number 4039258 (Why is no real title available?)
• scientific article; zbMATH DE number 4083581 (Why is no real title available?)
• scientific article; zbMATH DE number 19154 (Why is no real title available?)
• scientific article; zbMATH DE number 1159511 (Why is no real title available?)
• scientific article; zbMATH DE number 2172859 (Why is no real title available?)

This page was built for publication: Extension of combinatory logic to a theory of combinatory representation

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