Extension of combinatory logic to a theory of combinatory representation

DOI10.1016/0304-3975(92)90392-SzbMath0763.03013OpenAlexW1989398982MaRDI QIDQ1193865

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

varietiesuniversal classescombinatory logicalgorithmic classesrepresentations of algebraic classessemi-universal combinatory modeluniversal combinatory models

Mathematics Subject Classification ID

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

Cites Work

• Combinatory differential fields
• Representation of varieties in combinatory algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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