Infinitary Calculus without Loop Rules f
✍
R. Pliuškevičius
📂
Article
📅
2000
🏛
Springer
🌐
English
⚖ 106 KB