Degrees of parallelism in computations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 45 LNCS, Issue , 1976, Pages 517-523

  Sazonov, V Yu ^a  

^a SOBOLEV INSTITUTE OF MATHEMATICS   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

FUNCTIONALS;

ARTIFICIAL INTELLIGENCE;

EID: 85012640714     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-07854-1_223     Document Type: Conference Paper

References (9)

1. Ershov, Ju. L., Computable functionals of finite types, Algebra i Logika, 2, No 4 (1972), 367–437.
2. Scott, D., A type-theoretical alternative to CUCH, ISWIM, OWHY, Oxford University, 1969.
3. Scott, D., Continuous lattices, in Toposes, Algebraic Geomrtry and Logic, Lecture Notes in Mathematics N 274, 1972, 97–136.
4. 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.
5. Sazonov, V. Yu., Sequentially and parallelly computable functionals, Sibirskii Matematiceskii Žurnal, 18, No 3 (1976), 648–672 (in Russian).
6. 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).
7. Trachtenbrot, M.B., On interpreted functions in program schemes, in Sistemnoe i teoretičeskoe programmirovanie, Novosibirsk, 1973, 188–211 (in Russion).
8. Trachtenbrot, M.B., On representation of sequential and parallel functions, in Vyčislitel’naja matematika i programmirovanie, Novosibirsk, 1974, 74–80 (in Russian).
9. 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.