{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:07:38Z","timestamp":1725466058967},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642370748"},{"type":"electronic","value":"9783642370755"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37075-5_12","type":"book-chapter","created":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T19:37:23Z","timestamp":1361216243000},"page":"177-192","source":"Crossref","is-referenced-by-count":0,"title":["Partiality and Recursion in Higher-Order Logic"],"prefix":"10.1007","author":[{"given":"\u0141ukasz","family":"Czajka","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"12_CR1","doi-asserted-by":"publisher","first-page":"769","DOI":"10.2307\/2275096","volume":"58","author":"H. Barendregt","year":"1993","unstructured":"Barendregt, H., Bunder, M.W., Dekkers, W.: Systems of illative combinatory logic complete for first-order propositional and predicate calculus. Journal of Symbolic Logic\u00a058(3), 769\u2013788 (1993)","journal-title":"Journal of Symbolic Logic"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Seldin, J.P.: The logic of Church and Curry. In: Gabbay, D.M., Woods, J. (eds.) Logic from Russell to Church. Handbook of the History of Logic, vol.\u00a05, pp. 819\u2013873. North-Holland (2009)","DOI":"10.1016\/S1874-5857(09)70019-6"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Czajka, \u0141.: Higher-order illative combinatory logic. Journal of Symbolic Logic (2013), \n                    \n                      http:\/\/arxiv.org\/abs\/1202.3672\n                    \n                    \n                   (accepted)","DOI":"10.2178\/jsl.7803080"},{"issue":"3","key":"12_CR4","doi-asserted-by":"publisher","first-page":"869","DOI":"10.2307\/2586717","volume":"63","author":"W. Dekkers","year":"1998","unstructured":"Dekkers, W., Bunder, M.W., Barendregt, H.: Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic. Journal of Symbolic Logic\u00a063(3), 869\u2013890 (1998)","journal-title":"Journal of Symbolic Logic"},{"key":"12_CR5","unstructured":"Czajka, \u0141.: Partiality and recursion in higher-order logic. Technical report, University of Warsaw (2013), \n                    \n                      http:\/\/arxiv.org\/abs\/1210.2039"},{"key":"12_CR6","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Lectures on the Curry-Howard isomorphism","author":"M.H. S\u00f8rensen","year":"2006","unstructured":"S\u00f8rensen, M.H., Urzyczyn, P.: Lectures on the Curry-Howard isomorphism. Studies in Logic and the Foundations of Mathematics, vol.\u00a0149. Elsevier, Amsterdam (2006)"},{"key":"12_CR7","unstructured":"Barendregt, H.P.: The lambda calculus: Its syntax and semantics. Revised edn. North Holland (1984)"},{"issue":"1","key":"12_CR8","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/S0304-3975(00)00347-9","volume":"272","author":"F. Blanqui","year":"2002","unstructured":"Blanqui, F., Jouannaud, J., Okada, M.: Inductive-data-type systems. Theoretical Computer Science\u00a0272(1), 41\u201368 (2002)","journal-title":"Theoretical Computer Science"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Rushby, J., Owre, S., Shankar, N.: Subtypes for specifications: Predicate subtyping in PVS. IEEE Transactions on Software Engineering\u00a024(9) (1998)","DOI":"10.1109\/32.713327"},{"key":"12_CR10","unstructured":"Bove, A., Krauss, A., Sozeau, M.: Partiality and recursion in interactive theorem provers: An overview. Mathematical Structures in Computer Science (2012) (to appear)"},{"issue":"1","key":"12_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02023007","volume":"23","author":"M.W. Bunder","year":"1983","unstructured":"Bunder, M.W.: Predicate calculus of arbitrarily high finite order. Archive for Mathematical Logic\u00a023(1), 1\u201310 (1983)","journal-title":"Archive for Mathematical Logic"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF01135376","volume":"43","author":"S. Feferman","year":"1995","unstructured":"Feferman, S.: Definedness. Erkenntnis\u00a043, 295\u2013320 (1995)","journal-title":"Erkenntnis"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Beeson, M.J.: Proving programs and programming proofs. In: Marcus, R.B., Dorn, G., Weingartner, P. (eds.) Logic, Methodology and Philosophy of Science VII, pp. 51\u201382. North-Holland (1986)","DOI":"10.1016\/S0049-237X(09)70684-6"},{"issue":"2","key":"12_CR14","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/BF00881906","volume":"11","author":"W.M. Farmer","year":"1993","unstructured":"Farmer, W.M., Guttman, J.D., Thayer, F.J.: IMPS: An interactive mathematical proof system. Journal of Automated Reasoning\u00a011(2), 213\u2013248 (1993)","journal-title":"Journal of Automated Reasoning"},{"issue":"3","key":"12_CR15","doi-asserted-by":"publisher","first-page":"1269","DOI":"10.2307\/2274487","volume":"55","author":"W.M. Farmer","year":"1990","unstructured":"Farmer, W.M.: A partial functions version of Church\u2019s simple theory of types. Journal of Symbolic Logic\u00a055(3), 1269\u20131291 (1990)","journal-title":"Journal of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37075-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T08:21:51Z","timestamp":1557562911000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37075-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642370748","9783642370755"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37075-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}