Author:
Abbott Michael,Altenkirch Thorsten,Ghani Neil
Subject
General Computer Science,Theoretical Computer Science
Cited by
108 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Protocol choice and iteration for the free cornering;Journal of Logical and Algebraic Methods in Programming;2024-02
2. Polynomial Time and Dependent Types;Proceedings of the ACM on Programming Languages;2024-01-05
3. Algebraic Effects Meet Hoare Logic in Cubical Agda;Proceedings of the ACM on Programming Languages;2024-01-05
4. Internal and Observational Parametricity for Cubical Agda;Proceedings of the ACM on Programming Languages;2024-01-05
5. Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models;Electronic Proceedings in Theoretical Computer Science;2023-09-22