Expressibility of functionals in the LCF language of D. Scott
Algebra i logika, Tome 15 (1976) no. 3, pp. 308-330
Voir la notice de l'article provenant de la source Math-Net.Ru
@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},
publisher = {mathdoc},
volume = {15},
number = {3},
year = {1976},
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/