Consistency argument and classification problem in λ-calculus View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

1999-10

AUTHORS

Ju Wang, Xishun Zhao, Qieyuan Huang, Ying Jiang

ABSTRACT

Enlightened by Mal’cev theorem in universal algebra, a new criterion for consistency argument in λ-calculus has been introduced. It is equivalent to Jacopini and Baeten-Boerboom’s, but more convenient to use. Based on the new criterion, one uses an enhanced technique to show a few results which provides a deeper insight in the classification problem of λ-terms with no normal forms. More... »

PAGES

502

References to SciGraph publications

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/bf02917403

DOI

http://dx.doi.org/10.1007/bf02917403

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1053312466


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

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", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0101", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Pure Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Mathematical Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Institute of Software", 
          "id": "https://www.grid.ac/institutes/grid.458446.f", 
          "name": [
            "Institute of Software, Chinese Academy of Sciences, 100080, Beijing, China"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Wang", 
        "givenName": "Ju", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Institute of Software", 
          "id": "https://www.grid.ac/institutes/grid.458446.f", 
          "name": [
            "Institute of Software, Chinese Academy of Sciences, 100080, Beijing, China"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Zhao", 
        "givenName": "Xishun", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Institute of Software", 
          "id": "https://www.grid.ac/institutes/grid.458446.f", 
          "name": [
            "Institute of Software, Chinese Academy of Sciences, 100080, Beijing, China"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Huang", 
        "givenName": "Qieyuan", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Institute of Software", 
          "id": "https://www.grid.ac/institutes/grid.458446.f", 
          "name": [
            "Institute of Software, Chinese Academy of Sciences, 100080, Beijing, China"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Jiang", 
        "givenName": "Ying", 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1007/bfb0029527", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1043348328", 
          "https://doi.org/10.1007/bfb0029527"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://app.dimensions.ai/details/publication/pub.1109705173", 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4613-8130-3", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1109705173", 
          "https://doi.org/10.1007/978-1-4613-8130-3"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4613-8130-3", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1109705173", 
          "https://doi.org/10.1007/978-1-4613-8130-3"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "1999-10", 
    "datePublishedReg": "1999-10-01", 
    "description": "Enlightened by Mal\u2019cev theorem in universal algebra, a new criterion for consistency argument in \u03bb-calculus has been introduced. It is equivalent to Jacopini and Baeten-Boerboom\u2019s, but more convenient to use. Based on the new criterion, one uses an enhanced technique to show a few results which provides a deeper insight in the classification problem of \u03bb-terms with no normal forms.", 
    "genre": "non_research_article", 
    "id": "sg:pub.10.1007/bf02917403", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1312376", 
        "issn": [
          "1006-9321"
        ], 
        "name": "Science in China Series E: Technological Sciences", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "5", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "42"
      }
    ], 
    "name": "Consistency argument and classification problem in \u03bb-calculus", 
    "pagination": "502", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "fdf0275590a6a67992e86355a4fdd531c11257ad846045002d0caf13b01572a9"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bf02917403"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1053312466"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/bf02917403", 
      "https://app.dimensions.ai/details/publication/pub.1053312466"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-11T13:48", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000371_0000000371/records_130793_00000004.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "http://link.springer.com/10.1007/BF02917403"
  }
]
 

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/pub.10.1007/bf02917403'

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

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/bf02917403'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/bf02917403'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/bf02917403'


 

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

87 TRIPLES      21 PREDICATES      30 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/bf02917403 schema:about anzsrc-for:01
2 anzsrc-for:0101
3 schema:author Ndbc40fbda49140978360cb2ded6f4876
4 schema:citation sg:pub.10.1007/978-1-4613-8130-3
5 sg:pub.10.1007/bfb0029527
6 https://app.dimensions.ai/details/publication/pub.1109705173
7 schema:datePublished 1999-10
8 schema:datePublishedReg 1999-10-01
9 schema:description Enlightened by Mal’cev theorem in universal algebra, a new criterion for consistency argument in λ-calculus has been introduced. It is equivalent to Jacopini and Baeten-Boerboom’s, but more convenient to use. Based on the new criterion, one uses an enhanced technique to show a few results which provides a deeper insight in the classification problem of λ-terms with no normal forms.
10 schema:genre non_research_article
11 schema:inLanguage en
12 schema:isAccessibleForFree false
13 schema:isPartOf N33cdd77b64db492c9b7dd0622c0730c9
14 N4cb676b625a5469c9b62e7ddd52805aa
15 sg:journal.1312376
16 schema:name Consistency argument and classification problem in λ-calculus
17 schema:pagination 502
18 schema:productId N66be8db3ed05424c894f89dc24b5b55e
19 Nf28040fabe8d40f8bde6580a805a92a1
20 Nf5e379f1b58c455da67d01fdbb18f01f
21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053312466
22 https://doi.org/10.1007/bf02917403
23 schema:sdDatePublished 2019-04-11T13:48
24 schema:sdLicense https://scigraph.springernature.com/explorer/license/
25 schema:sdPublisher Na9c9f3f24c234ed5b0c93eee460011ae
26 schema:url http://link.springer.com/10.1007/BF02917403
27 sgo:license sg:explorer/license/
28 sgo:sdDataset articles
29 rdf:type schema:ScholarlyArticle
30 N2bdecb4c5e9a41b39acc3dd4dd4cd8e4 schema:affiliation https://www.grid.ac/institutes/grid.458446.f
31 schema:familyName Huang
32 schema:givenName Qieyuan
33 rdf:type schema:Person
34 N2c3798063dbb4db4a69cf2375040d164 rdf:first N39f0255d33f4480fa26fd6f431c59ff8
35 rdf:rest rdf:nil
36 N33cdd77b64db492c9b7dd0622c0730c9 schema:issueNumber 5
37 rdf:type schema:PublicationIssue
38 N39f0255d33f4480fa26fd6f431c59ff8 schema:affiliation https://www.grid.ac/institutes/grid.458446.f
39 schema:familyName Jiang
40 schema:givenName Ying
41 rdf:type schema:Person
42 N4cb676b625a5469c9b62e7ddd52805aa schema:volumeNumber 42
43 rdf:type schema:PublicationVolume
44 N66be8db3ed05424c894f89dc24b5b55e schema:name readcube_id
45 schema:value fdf0275590a6a67992e86355a4fdd531c11257ad846045002d0caf13b01572a9
46 rdf:type schema:PropertyValue
47 N77f9d5338fc148a5812ec4a953fd809c schema:affiliation https://www.grid.ac/institutes/grid.458446.f
48 schema:familyName Wang
49 schema:givenName Ju
50 rdf:type schema:Person
51 N9dd53c3e063e4357973d4ff5f1d0b985 rdf:first Naec5af51aefe43fd868edf869a037bb5
52 rdf:rest Nd18d9ce42a54418a9596c1e8cdc0a654
53 Na9c9f3f24c234ed5b0c93eee460011ae schema:name Springer Nature - SN SciGraph project
54 rdf:type schema:Organization
55 Naec5af51aefe43fd868edf869a037bb5 schema:affiliation https://www.grid.ac/institutes/grid.458446.f
56 schema:familyName Zhao
57 schema:givenName Xishun
58 rdf:type schema:Person
59 Nd18d9ce42a54418a9596c1e8cdc0a654 rdf:first N2bdecb4c5e9a41b39acc3dd4dd4cd8e4
60 rdf:rest N2c3798063dbb4db4a69cf2375040d164
61 Ndbc40fbda49140978360cb2ded6f4876 rdf:first N77f9d5338fc148a5812ec4a953fd809c
62 rdf:rest N9dd53c3e063e4357973d4ff5f1d0b985
63 Nf28040fabe8d40f8bde6580a805a92a1 schema:name dimensions_id
64 schema:value pub.1053312466
65 rdf:type schema:PropertyValue
66 Nf5e379f1b58c455da67d01fdbb18f01f schema:name doi
67 schema:value 10.1007/bf02917403
68 rdf:type schema:PropertyValue
69 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
70 schema:name Mathematical Sciences
71 rdf:type schema:DefinedTerm
72 anzsrc-for:0101 schema:inDefinedTermSet anzsrc-for:
73 schema:name Pure Mathematics
74 rdf:type schema:DefinedTerm
75 sg:journal.1312376 schema:issn 1006-9321
76 schema:name Science in China Series E: Technological Sciences
77 rdf:type schema:Periodical
78 sg:pub.10.1007/978-1-4613-8130-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1109705173
79 https://doi.org/10.1007/978-1-4613-8130-3
80 rdf:type schema:CreativeWork
81 sg:pub.10.1007/bfb0029527 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043348328
82 https://doi.org/10.1007/bfb0029527
83 rdf:type schema:CreativeWork
84 https://app.dimensions.ai/details/publication/pub.1109705173 schema:CreativeWork
85 https://www.grid.ac/institutes/grid.458446.f schema:alternateName Institute of Software
86 schema:name Institute of Software, Chinese Academy of Sciences, 100080, Beijing, China
87 rdf:type schema:Organization
 




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


...