Luca Roversi


Ontology type: schema:Person     


Person Info

NAME

Luca

SURNAME

Roversi

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": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "familyName": "Roversi", 
        "givenName": "Luca", 
        "id": "sg:person.014720225716.75", 
        "identifier": {
          "name": "orcid_id", 
          "type": "PropertyValue", 
          "value": [
            "0000-0002-1871-6109"
          ]
        }, 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014720225716.75", 
          "https://orcid.org/0000-0002-1871-6109"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T14:09", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "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

    HOW TO GET THIS DATA PROGRAMMATICALLY:

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

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/person.014720225716.75'

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

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.014720225716.75'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.014720225716.75'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.014720225716.75'


     

    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 Nadf9de5266cc40219e3041e3a93488ab
    4 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014720225716.75
    5 https://orcid.org/0000-0002-1871-6109
    6 schema:sdDatePublished 2019-03-07T14:09
    7 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    8 schema:sdPublisher N17208cf4a2be4428a36bf13d50c0cedf
    9 sgo:license sg:explorer/license/
    10 sgo:sdDataset persons
    11 rdf:type schema:Person
    12 N17208cf4a2be4428a36bf13d50c0cedf schema:name Springer Nature - SN SciGraph project
    13 rdf:type schema:Organization
    14 Nadf9de5266cc40219e3041e3a93488ab schema:name orcid_id
    15 schema:value 0000-0002-1871-6109
    16 rdf:type schema:PropertyValue
     




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


    ...