The following pages link to Antonino Salibra (Q353353):
Displaying 50 items.
- (Q288792) (redirect page) (← links)
- Graph easy sets of mute lambda terms (Q288793) (← links)
- Boolean-like algebras (Q353355) (← links)
- Lambda abstraction algebras: representation theorems (Q674002) (← links)
- Equational type logic (Q752689) (← links)
- First-order theories as many-sorted algebras (Q795823) (← links)
- Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets (Q1185017) (← links)
- A finite equational axiomatization of the functional algebras for the lambda calculus (Q1283777) (← links)
- Intersection types and domain operators (Q1434348) (← links)
- Behavioural inverse limit \(\lambda\)-models (Q1434350) (← links)
- On the algebraic models of lambda calculus (Q1583488) (← links)
- Factor varieties (Q1701682) (← links)
- Skew confluence and the lambda calculus with letrec (Q1849854) (← links)
- The abstract variable-binding calculus (Q1896759) (← links)
- An algebraic theory of clones (Q2120441) (← links)
- The connection of skew Boolean algebras and discriminator varieties to Church algebras (Q2351516) (← links)
- Easiness in graph models (Q2368937) (← links)
- Nonmodularity results for lambda calculus (Q2729668) (← links)
- Ordered models of the lambda calculus (Q2871473) (← links)
- Easy lambda-terms are not always simple (Q2889181) (← links)
- Scott Is Always Simple (Q2912707) (← links)
- (Q3360165) (← links)
- Graph lambda theories (Q3535680) (← links)
- Applying Universal Algebra to Lambda Calculus (Q3583100) (← links)
- Exponentials with Infinite Multiplicities (Q3586041) (← links)
- Resource Combinatory Algebras (Q3586087) (← links)
- From λ-Calculus to Universal Algebra and Back (Q3599151) (← links)
- Lambda Theories of Effective Lambda Models (Q3608418) (← links)
- Effective λ-models versus recursively enumerable λ-theories (Q3643360) (← links)
- (Q3816063) (← links)
- (Q3837997) (← links)
- On the nature of TELLUS (a typed equational logic look over uniform specification) (Q3975158) (← links)
- (Q4011724) (← links)
- (Q4011732) (← links)
- (Q4028345) (← links)
- (Q4260390) (← links)
- (Q4273422) (← links)
- (Q4273423) (← links)
- (Q4381706) (← links)
- A Note on Absolutely Unorderable Combinatory Algebras (Q4434611) (← links)
- Boolean product representations of algebras via binary polynomials (Q4586422) (← links)
- Factor Varieties and Symbolic Computation (Q4635937) (← links)
- On the equational consistency of order-theoretic models of the lambda-calculus (Q4649544) (← links)
- Interpolation and compactness in categories of pre-institutions (Q4715675) (← links)
- The Lattice of Lambda Theories (Q4820472) (← links)
- (Q4835611) (← links)
- Towards Lambda Calculus Order-Incompleteness (Q4916175) (← links)
- (Q4958978) (← links)
- (Q4992394) (← links)
- (Q4992396) (← links)
