On Declarative Rewriting for Sound and Complete Union, Intersection and Negation Types

出版年份 2018 全文链接

标题

作者

关键词

Rewrite Systems, Type Systems, Type Theory

出版物

JOURNAL OF VISUAL LANGUAGES AND COMPUTING

Volume -, Issue -, Pages -

出版商

Elsevier BV

发表日期

2018-11-03

DOI

10.1016/j.jvlc.2018.10.004

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

Protocol

在线求助

Reagent

在线求助

Reprint

联系作者

Discover Peeref hubs

Discuss science. Find collaborators. Network.

Join a conversation

Publish scientific posters with Peeref

Peeref publishes scientific posters from all research disciplines. Our Diamond Open Access policy means free access to content and no publication fees for authors.

Learn More