Antonio Bucciarelli

Antonio Bucciarelli (born 13 August 1970) is a retired Italian professional footballer who played as a midfielder. He played along with Maradona in the Napoli team that won the Serie A title in 1990. Provided by Wikipedia
Showing 1 - 4 results of 4 for search 'Antonio Bucciarelli', query time: 0.02s Refine Results
  1. 1
    Minimal lambda-theories by ultraproducts

    Minimal lambda-theories by ultraproducts by Antonio Bucciarelli, Alberto Carraro, Antonino Salibra

    Published 2013-03-01
    Get full text
    Article
  2. 2
    Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion

    Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion by Thomas Ehrhard, Antonio Bucciarelli, Alberto Carraro, Giulio Manzonetto

    Published 2012-10-01
    Get full text
    Article
  3. 3
    Inhabitation for Non-idempotent Intersection Types

    Inhabitation for Non-idempotent Intersection Types by Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca

    Published 2018-08-01
    Get full text
    Article
  4. 4
    Solvability = Typability + Inhabitation

    Solvability = Typability + Inhabitation by Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca

    Published 2021-01-01
    Get full text
    Article

Search Tools: