The author is debt to prof. B.A.Trachtenbrot for unfailing support and attention to this work.
Preview
Unable to display preview. Download preview PDF.
References
Hindley, J.R., B.Lercher,J.P.Seldin, Introduction to combinatory logic, London math.soc. Lecture note series 7 (1972).
Scott, D., A type-theoretical alternative to CUCH, ISWIM, OWHY, Oxford (1969).
Scott, D., Continuous lattices, in Toposes, Algebraic Geometry and Logic, Lecture notes in Math. 274(1972),97–136.
Scott, D., Lattice-theoretical models for various type-free calculi, in Proc. of the IVth Int.Congress for logic, mathodology and philosophy of science, Bucharest (1972).
Сазонов, В.Ю. О выразимости и вычислимости объектов в языке Д.Скотта LCF, Третья всесоюзная конференция по мат.логике, Тезисы докладов, Новосибирск (1974), 191–194.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sazonov, Y.Y. (1975). Sequentially and parallelly computable functionals. In: Böhm, C. (eds) λ-Calculus and Computer Science Theory. LCCST 1975. Lecture Notes in Computer Science, vol 37. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0029534
Download citation
DOI: https://doi.org/10.1007/BFb0029534
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07416-8
Online ISBN: 978-3-540-37944-7
eBook Packages: Springer Book Archive