|
Expressibility of functionals in the LCF language of D. Scott
V. Yu. Sazanov
Received: 22.10.1976
Citation:
V. Yu. Sazanov, “Expressibility of functionals in the LCF language of D. Scott”, Algebra Logika, 15:3 (1976), 308–330
Linking options:
https://www.mathnet.ru/eng/al1515 https://www.mathnet.ru/eng/al/v15/i3/p308
|
| Statistics & downloads: |
| Abstract page: | 114 | | Full-text PDF : | 48 | | References: | 5 |
|