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

Published 2021 View Full Article

  1. Home
  2. Publications
  3. Publication Search
  4. Publication Details
Title
Modular coinduction up-to for higher-order languages via first-order transition systems
Authors
Keywords
-
Journal
Logical Methods in Computer Science
Volume Volume 17, Issue 3, Issue -, Pages -
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Online
2021-09-20
DOI
10.46298/lmcs-17(3:25)2021

Ask authors/readers for more resources

Protocol

Community support

Reagent

Community support

Reprint

Contact the author

Discover Peeref hubs

Discuss science. Find collaborators. Network.

Join a conversation

Find the ideal target journal for your manuscript

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

Search
Webinars Posters Questions Hubs Funding Journals Articles Connect Collections Reviewers About Us FAQs Mobile App Privacy Policy Terms of Use
© Peeref 2019-2024. All rights reserved.