Antonio Bucciarelli

From MaRDI portal
Person:195005

Available identifiers

zbMath Open bucciarelli.antonioWikidataQ102289428 ScholiaQ102289428MaRDI QIDQ195005

List of research outcomes

PublicationDate of PublicationType
The bang calculus revisited2023-07-17Paper
Another approach to sequentiality: Kleene's unimonotone functions2023-04-28Paper
An algebraic theory of clones2022-03-31Paper
The bang calculus revisited2021-07-06Paper
https://portal.mardi4nfdi.de/entity/Q49923942021-06-08Paper
https://portal.mardi4nfdi.de/entity/Q58564102021-03-26Paper
https://portal.mardi4nfdi.de/entity/Q51501512021-02-09Paper
An algebraic theory of clones with an application to a question of Birkhoff and Maltsev2020-10-27Paper
On noncommutative generalisations of Boolean algebras2020-01-21Paper
Non-idempotent intersection types for the Lambda-Calculus2019-01-08Paper
https://portal.mardi4nfdi.de/entity/Q45803272018-08-15Paper
Strong normalization through intersection types and memory2018-04-23Paper
Observability for Pair Pattern Calculi2017-07-12Paper
Categorical Models for Simply Typed Resource Calculi2016-07-08Paper
Graph easy sets of mute lambda terms2016-05-27Paper
The Inhabitation Problem for Non-idempotent Intersection Types2014-09-15Paper
Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion2012-10-22Paper
Full Abstraction for Resource Calculus with Tests2012-09-18Paper
A relational semantics for parallelism and non-determinism in a functional setting2012-04-10Paper
Not Enough Points Is Enough2009-03-05Paper
A Relational Model of a Parallel and Non-deterministic λ-Calculus2009-02-24Paper
Graph lambda theories2008-11-13Paper
Mathematical Foundations of Computer Science 20032007-12-07Paper
Foundations of Software Science and Computation Structures2007-09-28Paper
https://portal.mardi4nfdi.de/entity/Q30249022005-07-04Paper
https://portal.mardi4nfdi.de/entity/Q44574502004-03-22Paper
Intersection types and λ-definability2004-02-08Paper
On phase semantics and denotational semantics: The exponentials2003-02-03Paper
Relative definability of boolean functions via hypergraphs2002-07-15Paper
On phase semantics and denotational semantics in multiplicative-additive linear logic2000-12-06Paper
https://portal.mardi4nfdi.de/entity/Q42354291999-11-08Paper
Degrees of parallelism in the continuous type hierarchy1998-07-23Paper
Sequentiality in an extensional framework1994-07-18Paper
A theory of sequentiality1993-08-08Paper
https://portal.mardi4nfdi.de/entity/Q40365511993-05-18Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Antonio Bucciarelli