Antonio Bucciarelli

Available identifiers

zbMath Open bucciarelli.antonioWikidataQ102289428 ScholiaQ102289428MaRDI QIDQ195005

List of research outcomes

Publication	Date of Publication	Type
The bang calculus revisited	2023-07-17	Paper
Another approach to sequentiality: Kleene's unimonotone functions	2023-04-28	Paper
An algebraic theory of clones	2022-03-31	Paper
The bang calculus revisited	2021-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q4992394	2021-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q5856410	2021-03-26	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
Non-idempotent intersection types for the Lambda-Calculus	2019-01-08	Paper
https://portal.mardi4nfdi.de/entity/Q4580327	2018-08-15	Paper
Strong normalization through intersection types and memory	2018-04-23	Paper
Observability for Pair Pattern Calculi	2017-07-12	Paper
Categorical Models for Simply Typed Resource Calculi	2016-07-08	Paper
Graph easy sets of mute lambda terms	2016-05-27	Paper
The Inhabitation Problem for Non-idempotent Intersection Types	2014-09-15	Paper
Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion	2012-10-22	Paper
Full Abstraction for Resource Calculus with Tests	2012-09-18	Paper
A relational semantics for parallelism and non-determinism in a functional setting	2012-04-10	Paper
Not Enough Points Is Enough	2009-03-05	Paper
A Relational Model of a Parallel and Non-deterministic λ-Calculus	2009-02-24	Paper
Graph lambda theories	2008-11-13	Paper
Mathematical Foundations of Computer Science 2003	2007-12-07	Paper
Foundations of Software Science and Computation Structures	2007-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q3024902	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4457450	2004-03-22	Paper
Intersection types and λ-definability	2004-02-08	Paper
On phase semantics and denotational semantics: The exponentials	2003-02-03	Paper
Relative definability of boolean functions via hypergraphs	2002-07-15	Paper
On phase semantics and denotational semantics in multiplicative-additive linear logic	2000-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4235429	1999-11-08	Paper
Degrees of parallelism in the continuous type hierarchy	1998-07-23	Paper
Sequentiality in an extensional framework	1994-07-18	Paper
A theory of sequentiality	1993-08-08	Paper
https://portal.mardi4nfdi.de/entity/Q4036551	1993-05-18	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: Antonio Bucciarelli