Bucciarelli, Antonio - Laboratoire Preuves, Programmes et Syst�mes, Universit� Paris 7

Advanced Search

Bucciarelli, Antonio - Laboratoire Preuves, Programmes et Syst�mes, Universit� Paris 7 - Denis Diderot

Fundamenta Informaticae 30 (1997) 23{41 1 Bi-models: relational versus domain-theoretic
Degrees of parallelism in the continuous type hierarchy Antonio Bucciarelli
Another approach to sequentiality: Kleene's unimonotone functions
Totality, de nability and boolean circuits Antonio Bucciarelli Ivano Salvo
Pur e and Applied Logic 109 (2001) 205--241 www.elsevier .com/locate/apal
Relative De nability of Boolean Functions via Hypergraphs
Memoire d'habilitation `a diriger des recherches en informatique
Sequentiality in an extensional framework Antonio Bucciarelli Thomas Ehrhard y
Logical reconstruction of bi-domains Antonio Bucciarelli
Graph Lambda Theories # Antonio Bucciarelli Antonino Salibra +
Annals of Pure and Applied Logic 102 (2000) 247--282 www.elsevier.com/locate/apal
Theoretical Computer Science
Hypergraphs and Degrees of Parallelism: a Completeness Result
INTERSECTION TYPES AND lDEFINABILITY ANTONIO BUCCIARELLI (1) ADOLFO PIPERNO (2;a) IVANO SALVO (3;a)
Theoretical Computer Science 278 (2002) 91110 www.elsevier.com/locate/tcs
A theory of sequentiality Antonio Bucciarelli
The Minimal Graph Model of Lambda Calculus Antonio Bucciarelli 1 and Antonino Salibra 2
The Sensible Graph Theories of Lambda Calculus A. Bucciarelli A. Salibra
LOGICAL RELATIONS AND -THEORIES A. BUCCIARELLI
Relative De nability and Models of Unary PCF A. Bucciarelli, B. Leperchey, and V. Padovani
Not enough points is enough Antonio Bucciarelli 1 , Thomas Ehrhard 1 , and Giulio Manzonetto 1,2,#
A relational semantics for parallelism and non-determinism in a functional setting6
Categorical Models for Simply Typed Resource Calculi
Extensional collapse situations I: non-termination and unrecoverable errors
Full Abstraction for Resource Calculus with Antonio Bucciarelli1