Luca Roversi

Ontology type: schema:Person     

Person Info





Publications in SciGraph latest 50 shown

  • 2018-07 On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions in NEW GENERATION COMPUTING
  • 2014 Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion? in FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS
  • 2012 Typing a Core Binary-Field Arithmetic in a Light Logic in FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS
  • 2011 A Modular Database Architecture Enabled to Comparative Sequence Analysis in TRANSACTIONS ON LARGE-SCALE DATA- AND KNOWLEDGE-CENTERED SYSTEMS IV
  • 2011 Linear Lambda Calculus and Deep Inference in TYPED LAMBDA CALCULI AND APPLICATIONS
  • 2010 A Local Criterion for Polynomial-Time Stratified Computations in FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS
  • 2009 A By-Level Analysis of Multiplicative Exponential Linear Logic in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2009
  • 2009 Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets in TYPES FOR PROOFS AND PROGRAMS
  • 2008 Taming Modal Impredicativity: Superlazy Reduction in LOGICAL FOUNDATIONS OF COMPUTER SCIENCE
  • 2004 Higher-Order Linear Ramified Recurrence in TYPES FOR PROOFS AND PROGRAMS
  • 2003-05-13 A P-Time Completeness Proof for Light Logics in COMPUTER SCIENCE LOGIC
  • 2001 On the Distribution of a Key Distribution Center in THEORETICAL COMPUTER SCIENCE
  • 2001 Call-by-Value Separability and Computability in THEORETICAL COMPUTER SCIENCE
  • 2001 Intersection Logic in COMPUTER SCIENCE LOGIC
  • 2001 Incremental Inference of Partial Types in THEORETICAL COMPUTER SCIENCE
  • 1998 A Polymorphic Language Which Is Typable and Poly-step in ADVANCES IN COMPUTING SCIENCE ASIAN 98
  • 1997-11 Lambda Calculus and Intuitionistic Linear Logic in STUDIA LOGICA
  • 1997 A type-free resource-aware λ-calculus in COMPUTER SCIENCE LOGIC
  • 1995 Categorical semantics of the call-by-value λ-calculus in TYPED LAMBDA CALCULI AND APPLICATIONS
  • JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

        "@context": "", 
        "familyName": "Roversi", 
        "givenName": "Luca", 
        "id": "sg:person.014720225716.75", 
        "identifier": {
          "name": "orcid_id", 
          "type": "PropertyValue", 
          "value": [
        "sameAs": [
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T14:09", 
        "sdLicense": "", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        "sdSource": "s3://com-uberresearch-data-dimensions-researchers-20181010/20181011/dim_researchers/base/researchers_1910.json", 
        "type": "Person"

    Download the RDF metadata as:  json-ld nt turtle xml License info


    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' ''

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' ''

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' ''

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' ''


    This table displays all metadata directly associated to this object as RDF triples.

    16 TRIPLES      10 PREDICATES      12 URIs      7 LITERALS      2 BLANK NODES

    Subject Predicate Object
    1 sg:person.014720225716.75 schema:familyName Roversi
    2 schema:givenName Luca
    3 schema:identifier N104a49e3109e4139a3ee71c54485ea37
    4 schema:sameAs
    6 schema:sdDatePublished 2019-03-07T14:09
    7 schema:sdLicense
    8 schema:sdPublisher Ndc79668c6ad04145bff53c8801453eed
    9 sgo:license sg:explorer/license/
    10 sgo:sdDataset persons
    11 rdf:type schema:Person
    12 N104a49e3109e4139a3ee71c54485ea37 schema:name orcid_id
    13 schema:value 0000-0002-1871-6109
    14 rdf:type schema:PropertyValue
    15 Ndc79668c6ad04145bff53c8801453eed schema:name Springer Nature - SN SciGraph project
    16 rdf:type schema:Organization

    Preview window. Press ESC to close (or click here)