Old Web
English
Sign In
Acemap
>
Paper
>
Mechanisation of "The Weak Call-By-Value ?-Calculus is Reasonable for Both Time and Space"
Mechanisation of "The Weak Call-By-Value ?-Calculus is Reasonable for Both Time and Space"
2019
Yannick Forster
Fabian Kunze
Marc Roth
Keywords:
Evaluation strategy
Mathematics
Calculus
Spacetime
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]