{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:41:45Z","timestamp":1725468105371},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540647812"},{"type":"electronic","value":"9783540686811"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055104","type":"book-chapter","created":{"date-parts":[[2006,8,1]],"date-time":"2006-08-01T08:08:05Z","timestamp":1154419685000},"page":"808-819","source":"Crossref","is-referenced-by-count":0,"title":["Totality, definability and boolean circuits"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Bucciarelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivano","family":"Salvo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,26]]},"reference":[{"key":"69_CR1","unstructured":"Barreiro, N., Ehrhard, T.: Anatomy of an extensional collapse. Submittend paper. (1997). Available from http:\/\/hypatia.dcs.qmw.ac.uk\/cgi-bin\/sarah?q=ehrhard."},{"key":"69_CR2","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0168-0072(93)90038-F","volume":"60","author":"U. Berger","year":"1993","unstructured":"Berger, U.: Total Objects and Sets in domain Theory. Annals of Pure and Applied Logic 60 (1993) 91\u2013117","journal-title":"Annals of Pure and Applied Logic"},{"key":"69_CR3","doi-asserted-by":"crossref","unstructured":"Boppana, R. B., Sipser, M.: The Complexity of finite functions. In: van Leeuwen, J. (ed.): Handbook of Theoretical Computer Science, vol. A. Elsevier (1990) 759\u2013802","DOI":"10.1016\/B978-0-444-88071-0.50019-9"},{"key":"69_CR4","doi-asserted-by":"crossref","unstructured":"Bucciarelli, A.: Logical Reconstruction of Bi-Domains. Proc. of the 3rd Int. Conf. on Typed Lambda Calculi and Applications, LNCS 1210, Springer-Verlag (1997) 99\u2013111","DOI":"10.1007\/3-540-62688-3_31"},{"key":"69_CR5","unstructured":"Ehrhard, T.: A relative definability result for strongly stable functions, and some corollaries. (1997) To appear in Information and Computation. Available from http:\/\/hypatia.dcs.qmw.ac.uk\/cgi-bin\/sarah?q=ehrhard."},{"key":"69_CR6","doi-asserted-by":"crossref","unstructured":"Mitchell, J. C.: Type Systems for Programming Languages. In: van Leeuwen, J. (ed.): Handbook of Theoretical Computer Science, vol. B, Elsevier (1990) 365\u2013458","DOI":"10.1016\/B978-0-444-88074-1.50013-5"},{"key":"69_CR7","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(77)90044-5","volume":"5","author":"G. Plotkin","year":"1997","unstructured":"Plotkin, G.: LCF considered as a programming language. Theoretical Computer Science 5 (1997) 223\u2013256","journal-title":"Theoretical Computer Science"},{"key":"69_CR8","unstructured":"Plotkin, G.: Full Abstraction, Totality and PCF. Available from http:\/\/hypatia.dcs.qmw.ac.uk\/authors\/P\/PlotkinGD\/"},{"key":"69_CR9","doi-asserted-by":"crossref","unstructured":"Sazonov, V. Y.: Degrees of Parallelism in Computations. Proc. Conference on Mathematical Foundations of Computer Science, LNCS 45, Springer-Verlag (1976)","DOI":"10.1007\/3-540-07854-1_223"},{"key":"69_CR10","doi-asserted-by":"crossref","unstructured":"Wegener, I.: The Complexity of Boolean functions. Wiley-Teubner Series in Comp. Sci., New York-Stutgart (1987)","DOI":"10.1007\/3-540-18170-9_185"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055104","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T08:18:41Z","timestamp":1555748321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055104"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540647812","9783540686811"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0055104","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}