Computability on dl-domains

DOI10.1006/inco.1996.0002zbMath0844.68076OpenAlexW2056863314MaRDI QIDQ1908351

Andreas Gruchalski

Publication date: 27 March 1996

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1996.0002

zbMATH Keywords

Berry-computable function

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

A stable programming language, Effective λ-models versus recursively enumerable λ-theories