Abstract
This paper is concerned with the class of sequentially computable finite type functionals and its enrichments by adding some parallel functionals of various power.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Ershov, Ju. L., Computable functionals of finite types, Algebra i Logika, II, No4 (1972), 367–437.
Scott, D., A type-theoretical alternative to CUCH, ISWIM, OWHY, Oxford University, 1969.
Scott, D., Continuous lattices, in Toposes, Algebraic Geomrtry and Logic, Lecture Notes in Mathematics N274, 1972, 97–136.
Sazonov, V. Yu., Sequentially and parallelly computable functionals (extended abstract), in λ-Calculus and computer Science Theory, Proc. of the Symp. held in Rome, 1975, Lect. Notes in Comp. Sci., 37, 1975, 312–318.
Sazonov, V. Yu., Sequentially and parallelly computable functionals, Sibirskii Matematiceskii Žurnal, XVII, No3 (1976), 648–672 (in Russian).
Sazonov, V.Yu., On expressibility and computability of objects in D.Scott's language LCF, Third All-Union Conference on Mathematical Logic, Novosibirsk, 1974, 191–194 (in Russian).
Trachtenbrot, M.B., On interpreted functions in program schemes, in Sistemnoe i teoretičeskoe programmirovanie, Novosibirsk, 1973, 188–211 (in Russion).
Trachtenbrot, M.B., On representation of sequential and parallel functions, in Vyčislitel'naja matematika i programmirovanie, Novosibirsk, 1974, 74–80 (in Russian).
Trachtenbrot, M.B., On representation of sequential and parallel functions, in Proc. of 4th Symp. on Mathematical Foundations of Computer Science, Lect. Notes in Comp. Sci., 32, 1975, 411–417.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sazonov, V.Y. (1976). Degrees of parallelism in computations. In: Mazurkiewicz, A. (eds) Mathematical Foundations of Computer Science 1976. MFCS 1976. Lecture Notes in Computer Science, vol 45. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07854-1_223
Download citation
DOI: https://doi.org/10.1007/3-540-07854-1_223
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07854-8
Online ISBN: 978-3-540-38169-3
eBook Packages: Springer Book Archive