Morten Heine B Sørensen


Ontology type: schema:Person     


Person Info

NAME

Morten Heine B

SURNAME

Sørensen

Publications in SciGraph latest 50 shown

  • 2013-09-18 Book Reviews in STUDIA LOGICA
  • 2003-09 Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus in HIGHER-ORDER AND SYMBOLIC COMPUTATION
  • 2000-01-28 On Perfect Supercompilation in PERSPECTIVES OF SYSTEM INFORMATICS
  • 1999-09 CPS Translations and Applications: The Cube and Beyond in HIGHER-ORDER AND SYMBOLIC COMPUTATION
  • 1999 AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem in TYPED LAMBDA CALCULI AND APPLICATIONS
  • 1998 Convergence of program transformers in the metric space of trees in MATHEMATICS OF PROGRAM CONSTRUCTION
  • 1997 Domain-free pure type systems in LOGICAL FOUNDATIONS OF COMPUTER SCIENCE
  • 1997 Reflections on reflections in PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS, AND PROGRAMS
  • 1997 Redundant argument filtering of logic programs in LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION
  • 1996 Controlling conjunctive partial deduction in PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS, AND PROGRAMS
  • 1996 Effective longest and infinite reduction paths in untyped λ-calculi in TREES IN ALGEBRA AND PROGRAMMING — CAAP '96
  • 1996 A roadmap to metacomputation by supercompilation in PARTIAL EVALUATION
  • 1995 Call-by-name CPS-translation as a binding-time improvement in STATIC ANALYSIS
  • 1994 A grammar-based data-flow analysis to stop deforestation in TREES IN ALGEBRA AND PROGRAMMING — CAAP'94
  • 1994 Partial deduction and driving are equivalent in PROGRAMMING LANGUAGE IMPLEMENTATION AND LOGIC PROGRAMMING
  • 1994 The λΔ-calculus in THEORETICAL ASPECTS OF COMPUTER SOFTWARE
  • 1994 Towards unifying partial evaluation, deforestation, supercompilation, and GPC in PROGRAMMING LANGUAGES AND SYSTEMS — ESOP '94
  • 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": "S\u00f8rensen", 
        "givenName": "Morten Heine B", 
        "id": "sg:person.012500751041.71", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012500751041.71"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2021-11-01T19:32", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20211101/entities/gbq_results/person/person_767.jsonl", 
        "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.012500751041.71'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     

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

    11 TRIPLES      9 PREDICATES      10 URIs      6 LITERALS      1 BLANK NODES

    Subject Predicate Object
    1 sg:person.012500751041.71 schema:familyName Sørensen
    2 schema:givenName Morten Heine B
    3 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012500751041.71
    4 schema:sdDatePublished 2021-11-01T19:32
    5 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    6 schema:sdPublisher Nf6fd9ed91b5d474fa920f18e8814813e
    7 sgo:license sg:explorer/license/
    8 sgo:sdDataset persons
    9 rdf:type schema:Person
    10 Nf6fd9ed91b5d474fa920f18e8814813e schema:name Springer Nature - SN SciGraph project
    11 rdf:type schema:Organization
     




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


    ...