{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T23:05:04Z","timestamp":1693868704531},"reference-count":9,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1983,1,1]],"date-time":"1983-01-01T00:00:00Z","timestamp":410227200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":11155,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[1983]]},"DOI":"10.1016\/0304-3975(83)90069-5","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T03:48:55Z","timestamp":1027655335000},"page":"151-169","source":"Crossref","is-referenced-by-count":48,"title":["Principal type schemes for an extended type theory"],"prefix":"10.1016","volume":"28","author":[{"given":"S.Ronchi","family":"Della Rocca","sequence":"first","affiliation":[]},{"given":"B.","family":"Venneri","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0304-3975(83)90069-5_BIB1","unstructured":"H. Barendregt, M. Coppo and M. Dezani-Ciancaglini. A filter iambda-model and the completeness of type assignment. J. Symbolic Logic, to appear."},{"key":"10.1016\/0304-3975(83)90069-5_BIB2","series-title":"The Lambda Calculus: Its Syntax and Semantics","author":"Barendregt","year":"1981"},{"key":"10.1016\/0304-3975(83)90069-5_BIB3","series-title":"Lecture Notes in Comput. Sci.","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/3-540-09510-1_11","article-title":"Functional characterization of some semantic equalities inside \u03bb-calculus","volume":"71","author":"Coppo","year":"1979"},{"key":"10.1016\/0304-3975(83)90069-5_BIB4","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1002\/malq.19810270205","article-title":"Functional characters of solvable terms","volume":"27","author":"Coppo","year":"1981","journal-title":"Zeit. Math. Logik Grund."},{"key":"10.1016\/0304-3975(83)90069-5_BIB5","series-title":"To H.B. Curry. Essays on Combinatory Logic. Lambda Calculus and Formalism","first-page":"535","article-title":"Principal type schemes and \u03bb-calculus semantics","author":"Coppo","year":"1980"},{"key":"10.1016\/0304-3975(83)90069-5_BIB6","series-title":"Combinatory Logic, Vol. 1","author":"Curry","year":"1958"},{"key":"10.1016\/0304-3975(83)90069-5_BIB7","first-page":"29","article-title":"The principal type scheme of an object in combinatory logic","volume":"146","author":"Hindley","year":"1969","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/0304-3975(83)90069-5_BIB8","series-title":"Natural Deduction\u2014A Proof-Theoretical Study","author":"Prawitz","year":"1965"},{"issue":"1","key":"10.1016\/0304-3975(83)90069-5_BIB9","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","article-title":"A machine-oriented logik based on the resolution principle","volume":"12","author":"Robinson","year":"1965","journal-title":"J. ACM"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0304397583900695?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0304397583900695?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,13]],"date-time":"2019-04-13T03:50:10Z","timestamp":1555127410000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0304397583900695"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"references-count":9,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1983]]}},"alternative-id":["0304397583900695"],"URL":"https:\/\/doi.org\/10.1016\/0304-3975(83)90069-5","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[1983]]}}}  <script>parent.window.postMessage('ixistenz.url:https://api.crossref.org/works/10.1016%2F0304-3975%2883%2990069-5', '*'); </script> <div id='browserdiffcontainer' style='position: fixed; right: 10px; top: 10vh; min-width: 60px;  border: 1px solid white; background: rgb(251, 189, 0);; opacity: 0.9; font-family: helvetica, arial, sans serif;  font-size: 12px; z-index: 20001; padding-bottom: 20px;'><div onclick="toggle('browserdiffcontainerlist'); return false;" style='background: rgb(151, 89, 0);; color: white; '><strong>&nbsp; <span class='glyphicon glyphicon-minus'></span> NODES</strong></div><div id='browserdiffcontainerlist' style='padding-left: 10px; padding-right: 5px; max-height: 50vh; overflow: auto; '><div><a href='#diffid878' style='color: white;' onClick="parent.window.postMessage('ixistenz.opendiff:878', '*');; return false;" style='text-decoration: none; '>Note </a> <a style='color: white;' href='#diffid878'><sup>1</sup></a></div></div></div>
<script>
function toggle( divname ) {
  var x = document.getElementById( divname );
  if (x.style.display === 'none') {
    x.style.display = 'block';
  } else {
    x.style.display = 'none';
  }
} </script>