Generalizations in type equational progr
✍
Akira Ishino; Akihiro Yamamoto
📂
Article
📅
1997
🏛
Springer
🌐
English
⚖ 904 KB