Antonino Salibra

Available identifiers

zbMath Open salibra.antoninoWikidataQ102305067 ScholiaQ102305067MaRDI QIDQ353353

List of research outcomes

Publication	Date of Publication	Type
An algebraic theory of clones	2022-03-31	Paper
Universal Clone Algebra	2022-03-26	Paper
https://portal.mardi4nfdi.de/entity/Q4958978	2021-09-15	Paper
https://portal.mardi4nfdi.de/entity/Q4992394	2021-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q4992396	2021-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q5150151	2021-02-09	Paper
An algebraic theory of clones with an application to a question of Birkhoff and Maltsev	2020-10-27	Paper
On noncommutative generalisations of Boolean algebras	2020-01-21	Paper
Boolean product representations of algebras via binary polynomials	2018-09-13	Paper
Factor Varieties and Symbolic Computation	2018-04-23	Paper
Factor varieties	2018-02-27	Paper
Topological incompleteness and order incompleteness of the lambda calculus	2017-06-13	Paper
Graph easy sets of mute lambda terms	2016-05-27	Paper
The connection of skew Boolean algebras and discriminator varieties to Church algebras	2015-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q5410346	2014-04-16	Paper
Ordered Models of the Lambda Calculus	2014-01-08	Paper
Boolean-like algebras	2013-07-12	Paper
Towards Lambda Calculus Order-Incompleteness	2013-04-19	Paper
On the equational consistency of order-theoretic models of the lambda-calculus	2012-11-22	Paper
Scott Is Always Simple	2012-09-25	Paper
Easy lambda-terms are not always simple	2012-06-04	Paper
Exponentials with Infinite Multiplicities	2010-09-03	Paper
Resource Combinatory Algebras	2010-09-03	Paper
Applying Universal Algebra to Lambda Calculus	2010-08-26	Paper
Effective λ-models versus recursively enumerable λ-theories	2009-11-11	Paper
Lambda Theories of Effective Lambda Models	2009-03-05	Paper
From λ-Calculus to Universal Algebra and Back	2009-02-03	Paper
Graph lambda theories	2008-11-13	Paper
Mathematical Foundations of Computer Science 2003	2007-12-07	Paper
Easiness in graph models	2006-04-28	Paper
The Lattice of Lambda Theories	2004-10-15	Paper
A Note on Absolutely Unorderable Combinatory Algebras	2003-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q2729668	2002-03-11	Paper
On the algebraic models of lambda calculus	2000-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q4260390	1999-09-19	Paper
A finite equational axiomatization of the functional algebras for the lambda calculus	1999-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q3837997	1999-04-08	Paper
https://portal.mardi4nfdi.de/entity/Q4381706	1998-05-13	Paper
Interpolation and compactness in categories of pre-institutions	1997-04-21	Paper
Lambda abstraction algebras: representation theorems	1997-02-28	Paper
The abstract variable-binding calculus	1996-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q4835611	1995-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q4273423	1994-01-26	Paper
https://portal.mardi4nfdi.de/entity/Q4273422	1994-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q4028345	1993-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q4011724	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4011732	1992-09-27	Paper
Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3975158	1992-06-26	Paper
Equational type logic	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3360165	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3816063	1987-01-01	Paper
First-order theories as many-sorted algebras	1984-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Antonino Salibra