A note on subject reduction in (→,∃)-Curry with respect to complete developments
A note on subject reduction in (→,∃)-Curry with respect to complete developments
复制标题
关于 (→,∃)-Curry 中关于完整发展的主题减少的注释
DOI：
--
复制
发表时间：
2014
影响因子：
0.5
通讯作者：
Aleksy Schubert & Ken-etsu Fujita
中科院分区：
文献类型：
--
作者：
M.F. Kawaguchi;K. Minami and M. Kondo;Aleksy Schubert & Ken-etsu Fujita
