Extension of combinatory logic to a theory of combinatory representation (Q1193865): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3342534 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3679172 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5573965 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatory differential fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Representation of varieties in combinatory algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3995159 / rank | |||
Normal rank |
Latest revision as of 14:25, 16 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Extension of combinatory logic to a theory of combinatory representation |
scientific article |
Statements
Extension of combinatory logic to a theory of combinatory representation (English)
0 references
27 September 1992
0 references
universal classes
0 references
combinatory logic
0 references
varieties
0 references
representations of algebraic classes
0 references
semi-universal combinatory model
0 references
universal combinatory models
0 references
algorithmic classes
0 references