Functionals computable in series and in parallel

DOI10.1007/BF00967869zbMath0358.02029OpenAlexW1969693438MaRDI QIDQ1239155

Vladimir Yu. Sazonov

Publication date: 1977

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00967869

Mathematics Subject Classification ID

Computability and recursion theory (03D99) Combinatory logic and lambda calculus (03B40)

Cites Work

• A type-theoretical alternative to ISWIM, CUCH, OWHY
• Unnamed Item
• Unnamed Item

This page was built for publication: Functionals computable in series and in parallel