Abstract
In the cons-free programming paradigm, we eschew constructors and program using only destructors. Cons-free programs in a simple first-order language ......
小提示:本篇文献需要登录阅读全文,点击跳转登录