Publisher
Cambridge University Press
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. Native Type Theory;Electronic Proceedings in Theoretical Computer Science;2022-11-03
3. Semantic analysis of normalisation by evaluation for typed lambda calculus;Mathematical Structures in Computer Science;2022-09
4. Graded Hoare Logic and its Categorical Semantics;Programming Languages and Systems;2021
5. Semantic Web: Graphs, Imprecision and Knowledge Generation;Fuzzy Approaches for Soft Computing and Approximate Reasoning: Theories and Applications;2020-10-27