Modular coinduction up-to for higher-order languages via first-order transition systems

标题
Modular coinduction up-to for higher-order languages via first-order transition systems
作者
关键词
-
出版物
Logical Methods in Computer Science
Volume Volume 17, Issue 3, Issue -, Pages -
出版商
Centre pour la Communication Scientifique Directe (CCSD)
发表日期
2021-09-20
DOI
10.46298/lmcs-17(3:25)2021

向作者/读者发起求助以获取更多资源

Find the ideal target journal for your manuscript

Explore over 38,000 international journals covering a vast array of academic fields.

Search

Become a Peeref-certified reviewer

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started