×

zbMATH — the first resource for mathematics

\(\Sigma\)-programming. (English. Russian original) Zbl 0671.03021
Transl., Ser. 2, Am. Math. Soc. 142, 101-121 (1989); translation from Vychisl. Sist. 107, 3-29 (1985).
See the review in Zbl 0628.03015.

MSC:
03B70 Logic in computer science
68N01 General topics in the theory of software
03C70 Logic on admissible sets
03D60 Computability and recursion theory on ordinals, admissible sets, etc.
68Q65 Abstract data types; algebraic specification
PDF BibTeX XML Cite
Full Text: DOI