Thomas Streicher

Ontology type: schema:Person     

Person Info





Publications in SciGraph latest 50 shown

  • 2018-11 Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice in ARCHIVE FOR MATHEMATICAL LOGIC
  • 2015 How Intensional Is Homotopy Type Theory? in EXTENDED ABSTRACTS FALL 2013
  • 2006-10 Well-foundedness in Realizability in ARCHIVE FOR MATHEMATICAL LOGIC
  • 2006 Universality Results for Models in Locally Boolean Domains in COMPUTER SCIENCE LOGIC
  • 2005-06-20 General synthetic domain theory — A logical approach (extended abstract) in CATEGORY THEORY AND COMPUTER SCIENCE
  • 2005 About Hoare Logics for Higher-Order Store in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 1999-06 Inductive Construction of Repletion in APPLIED CATEGORICAL STRUCTURES
  • 1995 Categorical reconstruction of a reduction free normalization proof in CATEGORY THEORY AND COMPUTER SCIENCE
  • 1994 A tiny constraint functional logic language and its continuation semantics in PROGRAMMING LANGUAGES AND SYSTEMS — ESOP '94
  • 1993 Verifying properties of module construction in type theory in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1993
  • Affiliations

    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": "", 
        "affiliation": [
            "affiliation": {
              "id": "", 
              "type": "Organization"
            "isCurrent": true, 
            "type": "OrganizationRole"
        "familyName": "Streicher", 
        "givenName": "Thomas", 
        "id": "sg:person.014322662425.75", 
        "sameAs": [
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T13:57", 
        "sdLicense": "", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        "sdSource": "s3://com-uberresearch-data-dimensions-researchers-20181010/20181011/dim_researchers/base/researchers_1719.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' ''


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