Author:
BUCALO ANNA,HONSELL FURIO,MICULAN MARINO,SCAGNETTO IVAN,HOFFMAN MARTIN
Publisher
Cambridge University Press (CUP)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. HO$$\pi $$ in Coq;Journal of Automated Reasoning;2020-09-14
2. A semantics for nabla;Mathematical Structures in Computer Science;2018-04-17
3. Proof-relevant π-calculus: a constructive account of concurrency and causality;Mathematical Structures in Computer Science;2017-05-04
4. Mechanizing type environments in weak HOAS;Theoretical Computer Science;2015-11
5. A weak HOAS approach to the POPLmark Challenge;Electronic Proceedings in Theoretical Computer Science;2013-03-28