On the algebraic models of lambda calculus (Q1583488): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Antonino Salibra / rank | |||
Property / author | |||
Property / author: Antonino Salibra / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3728878 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4896520 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3837724 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5667469 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934450 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3785893 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5565113 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4260394 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Axiomatization of polynomial substitution algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4217595 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Enlargements of functional algebras for the lambda calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4200260 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3282928 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5616133 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lambda‐Calculus Models and Extensionality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Infinitary lambda calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3997016 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Transformation Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3751631 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: What is a model of the lambda calculus? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraization of quantifier logics, an introductory overview / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3659756 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4835611 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4260390 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lambda abstraction algebras: representation theorems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The abstract variable-binding calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3837997 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cylindric Algebras and Algebras of Substitutions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4011732 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A finite equational axiomatization of the functional algebras for the lambda calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Data Types as Lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3661543 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:55, 30 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the algebraic models of lambda calculus |
scientific article |
Statements
On the algebraic models of lambda calculus (English)
0 references
26 October 2000
0 references
lambda calculus
0 references
lambda abstraction algebras
0 references
combinatory algebras
0 references
infinitary lambda calculus
0 references
universal algebra
0 references