{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T20:02:56Z","timestamp":1648756976215},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1992,3,1]],"date-time":"1992-03-01T00:00:00Z","timestamp":699408000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["BIT"],"published-print":{"date-parts":[[1992,3]]},"DOI":"10.1007\/bf01995107","type":"journal-article","created":{"date-parts":[[2005,8,10]],"date-time":"2005-08-10T14:40:23Z","timestamp":1123684823000},"page":"45-63","source":"Crossref","is-referenced-by-count":0,"title":["On systems of definitions, induction and recursion"],"prefix":"10.1007","volume":"32","author":[{"given":"Lars","family":"Halln\u00e4s","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01995107_CR1","doi-asserted-by":"crossref","unstructured":"L. Halln\u00e4s,Partial inductive definitions, TCS 87, 1991.","DOI":"10.1016\/S0304-3975(06)80007-1"},{"key":"BF01995107_CR2","unstructured":"B. Nordstr\u00f6m, K. Pettersson, J. Smith,Programming in Martin-L\u00f6f's Type Theory. An Introduction. Oxford University Press 1990."},{"key":"BF01995107_CR3","volume-title":"Proceedings of the Second Scandinavian Logic Symposium","author":"P. Martin-L\u00f6f","year":"1971","unstructured":"P. Martin-L\u00f6f,Hauptsatz for the intuitionistic theory of iterated inductive definitions, in:Proceedings of the Second Scandinavian Logic Symposium, ed. J. E. Fenstad, North Holland, Amsterdam, 1971."},{"key":"BF01995107_CR4","unstructured":"K. Pettersson, D. Synek,A set constructor for inductive sets in Martin-L\u00f6f's type theory, PMG Report 48, Department of Computer Science, Chalmers University of Technology and University of G\u00f6teborg, 1987."},{"key":"BF01995107_CR5","volume-title":"Proceedings of the Second Scandinavian Logic Symposium","author":"D. Prawitz","year":"1971","unstructured":"D. Prawitz,Ideas and results in proof theory, in:Proceedings of the Second Scandinavian Logic Symposium, ed. J. E. Fenstad, North Holland, Amsterdam, 1971."}],"container-title":["BIT"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01995107.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01995107\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01995107","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T20:24:56Z","timestamp":1586377496000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01995107"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,3]]},"references-count":5,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,3]]}},"alternative-id":["BF01995107"],"URL":"https:\/\/doi.org\/10.1007\/bf01995107","relation":{},"ISSN":["0006-3835","1572-9125"],"issn-type":[{"value":"0006-3835","type":"print"},{"value":"1572-9125","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,3]]}}}