Concepedia

Antonino Salibra

AS

21

Publications

458

Citations

15

H-Index

1990

Active since

Affiliations

Ca' Foscari University of Venice(Current)

Université Paris Cité

Iowa State University

University of Pisa

Centre National de la Recherche Scientifique

Antonino Salibra is an author at Ca' Foscari University of Venice specializing in automated reasoning, engineering, and computer science.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceRepresentation TheoryMathematical FoundationsSemanticsGraph TheoryFunctional AnalysisBusiness

Publications per year

1990–2015

21

Publications

21

On the algebraic models of lambda calculus

Antonino Salibra · Theoretical Computer Science · 2000 · 44 citations

Algebraic Analysis, Algebraic Logic, Lambda Calculus

Equational type logic

Vincenzo Manca, Antonino Salibra, Giuseppe Scollo · Theoretical Computer Science · 1990 · 42 citations

Engineering, Automated Reasoning, Type Theory +4

Topological incompleteness and order incompleteness of the lambda calculus

Antonino Salibra · ACM Transactions on Computational Logic · 2003 · 35 citations · Full text

Engineering, Automated Reasoning, Algebraic Semantics +12

Applying Universal Algebra to Lambda Calculus

Giulio Manzonetto, Antonino Salibra · Journal of Logic and Computation · 2008 · 33 citations · Full text

Boolean-like algebras

Antonino Salibra, Antonio Ledda, Francesco Paoli et al. · Algebra Universalis · 2013 · 28 citations · Full text

Rows per page

1–5 of 21