Old Web
English
Sign In
Acemap
>
Paper
>
Expressions, values, and assertions
Expressions, values, and assertions
2014
Andrew W. Appel
Robert Dockins
Aquinas Hobor
Lennart Beringer
Josiah Dodds
Gordon Stewart
Sandrine Blazy
Xavier Leroy
Keywords:
Expression (mathematics)
Mathematical analysis
Mathematics
Pure mathematics
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]