#### Filter Results:

- Full text PDF available (53)

#### Publication Year

1984

2017

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Antonino Salibra
- Theor. Comput. Sci.
- 2000

The variety (equational class) of lambda abstraction algebras was introduced to algebraize the untyped lambda calculus in the same way Boolean algebras algebraize the classical propositional calculus. The equational theory of lambda abstraction algebras is intended as an alternative to combinatory logic in this regard since it is a ÿrst-order algebraic… (More)

- Antonino Salibra
- 2001

A model of the untyped lambda calculus induces a lambda theory, i.e., a congruence relation on-terms closed under-and-conversion. A semantics (= class of models) of the lambda calculus is incomplete if there exists a lambda theory which is not induced by any model in the semantics. In this paper we introduce a new technique to prove the incompleteness of a… (More)

- Vincenzo Manca, Antonino Salibra, Giuseppe Scollo
- Theor. Comput. Sci.
- 1990

- Giulio Manzonetto, Antonino Salibra
- 21st Annual IEEE Symposium on Logic in Computer…
- 2006

In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebra of central elements (playing the role of idempotent elements in rings), whose operations are defined by suitable combinators. Central elements are used to represent any… (More)

- Vincenzo Manca, Antonino Salibra
- MFCS
- 1990

- Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Antonino Salibra
- LINEARITY
- 2009

Scott's information systems provide a categorically equivalent, intensional description of Scott domains and continuous functions. Following a well established pattern in denotational semantics, we define a linear version of information systems, providing a model of intuitionistic linear logic (a new-Seely category), with a " set-theoretic " interpretation… (More)

- Antonino Salibra, Giuseppe Scollo
- COMPASS/ADT
- 1991

The notion of institution is dissected into somewhat weaker notions. We introduce a novel notion of institution morphism, and characterize preservation of institution properties by corresponding properties of such morphisms. Target of this work is the stepwise construction of a general framework for translating logics, and algebraic specifications using… (More)

- Don Pigozzi, Antonino Salibra
- Theor. Comput. Sci.
- 1995

Lambda abstraction algebras (LAAs) are designed to algebraize the untyped lambda calculus in the same way cylindric and polyadic algebras algebraize the first-order predicate logic. Like combinatory algebras they can be defined by true identities and thus form a variety in the sense of universal algebra, but they differ from combinatory algebras in several… (More)

- Stefania Lusin, Antonino Salibra
- J. Log. Comput.
- 2004

Lambda theories are equational extensions of the untyped lambda calculus that are closed under derivation. The set of lambda theories is naturally equipped with a structure of complete lattice, where the meet of a family of lambda theories is their intersection, and the join is the least lambda theory containing their union. In this paper we study the… (More)

- Antonino Salibra, Giuseppe Scollo
- Mathematical Structures in Computer Science
- 1996