The following pages link to Antonio Bucciarelli (Q195005):
Displaying 37 items.
- (Q288789) (redirect page) (← links)
- Graph easy sets of mute lambda terms (Q288793) (← links)
- A relational semantics for parallelism and non-determinism in a functional setting (Q408545) (← links)
- Sequentiality in an extensional framework (Q1327380) (← links)
- Degrees of parallelism in the continuous type hierarchy (Q1391861) (← links)
- Relative definability of boolean functions via hypergraphs (Q1605175) (← links)
- Strong normalization through intersection types and memory (Q1744407) (← links)
- A theory of sequentiality (Q1802073) (← links)
- On phase semantics and denotational semantics in multiplicative-additive linear logic (Q1971797) (← links)
- The bang calculus revisited (Q2039931) (← links)
- An algebraic theory of clones (Q2120441) (← links)
- Full Abstraction for Resource Calculus with Tests (Q2915676) (← links)
- (Q3024902) (← links)
- Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion (Q3166224) (← links)
- Categorical Models for Simply Typed Resource Calculi (Q3178254) (← links)
- The Inhabitation Problem for Non-idempotent Intersection Types (Q3190172) (← links)
- Graph lambda theories (Q3535680) (← links)
- A Relational Model of a Parallel and Non-deterministic λ-Calculus (Q3605523) (← links)
- Not Enough Points Is Enough (Q3608420) (← links)
- (Q4036551) (← links)
- (Q4235429) (← links)
- Intersection types and λ-definability (Q4405687) (← links)
- (Q4457450) (← links)
- (Q4580327) (← links)
- Non-idempotent intersection types for the Lambda-Calculus (Q4644585) (← links)
- (Q4992394) (← links)
- (Q5150151) (← links)
- On noncommutative generalisations of Boolean algebras (Q5210625) (← links)
- Observability for Pair Pattern Calculi (Q5277835) (← links)
- Foundations of Software Science and Computation Structures (Q5308442) (← links)
- Mathematical Foundations of Computer Science 2003 (Q5431316) (← links)
- (Q5856410) (← links)
- Another approach to sequentiality: Kleene's unimonotone functions (Q5890056) (← links)
- On phase semantics and denotational semantics: The exponentials (Q5939845) (← links)
- The bang calculus revisited (Q6116183) (← links)
- Exploring new topologies for the theory of clones (Q6640572) (← links)
- Birkhoff-style Theorems Through Infinitary Clone Algebras (Q6754975) (← links)
