Old Web
English
Sign In
Acemap
>
Paper
>
Interaction trees: representing recursive and impure programs in Coq
Interaction trees: representing recursive and impure programs in Coq
2020
Li-yao Xia
Yannick Zakowski
Paul He
Chung-Kil Hur
Gregory Malecha
Benjamin C. Pierce
Steve Zdancewic
Keywords:
Mathematics
Algebra
Recursion
Correction
Source
Cite
Save
Machine Reading By IdeaReader
52
References
2
Citations
NaN
KQI
[]