{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:17Z","timestamp":1725455957547},"publisher-location":"Berlin\/Heidelberg","reference-count":9,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540541314"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0019354","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:26:33Z","timestamp":1132637193000},"page":"18-32","source":"Crossref","is-referenced-by-count":1,"title":["Type-theoretical semantics of some declarative languages"],"prefix":"10.1007","author":[{"given":"Grigory","family":"Mints","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan M.","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enn","family":"Tyugu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/S0747-7171(88)80035-X","volume":"N5","author":"G. Mints","year":"1988","unstructured":"G. Mints, E. Tyugu. The programming System PRIZ. J. of Symbolic Computation, 1988, N5, pp. 359\u2013375.","journal-title":"J. of Symbolic Computation"},{"volume-title":"MicroPRIZ \u2014 intelligent software system","year":"1986","key":"2_CR2","unstructured":"M. Koov et al. (Eds). MicroPRIZ \u2014 intelligent software system. Acad. of Sciences of the Estonian SSR. Tallinn, 1986."},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/0020-0190(86)90115-8","volume":"23","author":"G. Mints","year":"1986","unstructured":"G. Mints, E. Tyugu. Semantics of a declarative language. Information Processing Letters 23, 1986, pp. 147\u2013151.","journal-title":"Information Processing Letters"},{"key":"2_CR4","first-page":"59","volume-title":"Language and Example of Knowledge-based Programming","author":"E. Tyugu","year":"1986","unstructured":"E. Tyugu. Language and Example of Knowledge-based Programming. Proceedings of the International Spring School, Akademie-Verlag Berlin, 1986, pp. 59\u201372."},{"key":"2_CR5","unstructured":"E. Tyugu. Knowledge Based Programming. Addison-Wesley Publ. Co, 1988."},{"key":"2_CR6","unstructured":"Per Martin-L\u00f6f. Intuitionistic Type Theory. Bibliopolis, Napoli, 1984."},{"key":"2_CR7","unstructured":"B. Nordstr\u00f6m, K. Petersson, J. M. Smith. Programming in Martin-L\u00f6f's Type Theory, Programming Methodology group. Dep. of. Comp. Sc., University of G\u00f6teborg\/Chalmers, 1989."},{"issue":"3","key":"2_CR8","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/0167-6423(83)90016-3","volume":"2","author":"G. Mints","year":"1983","unstructured":"G. Mints, E. Tyugu. Justification of the structural synthesis of programs. Science of Computer Programming. 1983, vol. 2, N 3, pp. 215\u2013240.","journal-title":"Science of Computer Programming"},{"key":"2_CR9","first-page":"343","volume":"25","author":"G. Mints","year":"1982","unstructured":"G. Mints, E. Tyugu. The completeness of structural synthesis rules. Soviet Math. Doklady 1982, v. 25, pp. 343\u2013346.","journal-title":"Soviet Math. Doklady"}],"container-title":["Lecture Notes in Computer Science","Baltic Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0019354.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:42:12Z","timestamp":1607550132000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0019354"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540541314"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0019354","relation":{},"subject":[]}}