Expressibility of functionals in the LCF language of D. Scott
Algebra i logika, Tome 15 (1976) no. 3, pp. 308-330
@article{AL_1976_15_3_a4,
author = {V. Yu. Sazanov},
title = {Expressibility of functionals in the {LCF} language of {D.} {Scott}},
journal = {Algebra i logika},
pages = {308--330},
year = {1976},
volume = {15},
number = {3},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_1976_15_3_a4/}
}
V. Yu. Sazanov. Expressibility of functionals in the LCF language of D. Scott. Algebra i logika, Tome 15 (1976) no. 3, pp. 308-330. http://geodesic.mathdoc.fr/item/AL_1976_15_3_a4/