Old Web
English
Sign In
Acemap
>
Paper
>
Expressibility of functions in D. Scott's LCF language
Expressibility of functions in D. Scott's LCF language
1976
V. Yu. Sazonov
Keywords:
Discrete mathematics
Mathematics
Mathematical logic
Algebra
Correction
Source
Cite
Save
Machine Reading By IdeaReader
5
References
43
Citations
NaN
KQI
[]