conf.researchr.org / Yuheng Xie
Not registered as user yet
Name:Yuheng Xie
Contributions
| Scheme 2016 | Author of Function compose, Type cut, And the Algebra of logic within the Scheme-track |
Not registered as user yet
Contributions
| Scheme 2016 | Author of Function compose, Type cut, And the Algebra of logic within the Scheme-track |