{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T02:32:04Z","timestamp":1778293924934,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540523352","type":"print"},{"value":"9783540469636","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52335-9_50","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:31:21Z","timestamp":1330187481000},"page":"94-104","source":"Crossref","is-referenced-by-count":3,"title":["On the syntax of infinite objects: an extension of Martin-L\u00f6f's theory of expressions"],"prefix":"10.1007","author":[{"given":"Lars","family":"Halln\u00e4s","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"8_CR1","unstructured":"P. Aczel, Replacement Systems and the axiomatisation of Situation Theory, to appear in Proceedings of the Asilomar meeting on Situation theory, (1989)."},{"key":"8_CR2","unstructured":"H. Barendregt, The lambda calculus (North Holland, 1984)."},{"key":"8_CR3","unstructured":"P.-L. Curien, The \u03bb\u03c1-calculus: an Abstract Framework for Environment Machines, Departement de Mathematiques et d'Informatique, Ecole Normale Superieure, Liens, (1988)."},{"key":"8_CR4","unstructured":"L. Halln\u00e4s, Non wellfounded sets: limits of wellfounded approximations, Preprint, Department of Mathematics University of Uppsla, (1986)."},{"key":"8_CR5","unstructured":"K. Karlsson, Graph Reduction meets Data Flow \u2014 the D-machine, Dissertation Chalmers University of Technology and University of G\u00f6teborg, (1989)."},{"key":"8_CR6","first-page":"1","volume":"54","author":"I. Lindstr\u00f6m","year":"1989","unstructured":"I. Lindstr\u00f6m, A construction of non-well-founded sets within Martin-L\u00f6fs type theory, JSL 54:1, (1989).","journal-title":"JSL"},{"key":"8_CR7","unstructured":"P. Martin-L\u00f6f, Intuitionistic type theory, (Bibliopolis, 1984)."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"P. Martin-L\u00f6f, Private communication, (1986).","DOI":"10.1080\/03461238.1986.10413795"},{"key":"8_CR9","unstructured":"N.P. Mendler, P. Panangaden, R.L. Constable, Infinite objects in type theory, in Proceedings of the Symposium on Logic in Computer Science, (Computer Society Press, 1986)."},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A calculus of communicating systems","author":"R. Milner","year":"1980","unstructured":"R. Milner, A calculus of communicating systems Lecture Notes in Computer Science 92, (Springer, Berlin, 1980)."},{"key":"8_CR11","unstructured":"B. Nordstr\u00f6m, K. Petersson, J. Smith, Programming in Martin-L\u00f6f's type theory: An introduction., (Oxford University Press, 1989)."}],"container-title":["Lecture Notes in Computer Science","COLOG-88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52335-9_50.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:23:55Z","timestamp":1605630235000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52335-9_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540523352","9783540469636"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-52335-9_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990]]}}}