Author:
Amadio Roberto M.,Curien Pierre-Louis
Publisher
Cambridge University Press
Cited by
89 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. How much partiality is needed for a theory of computability?;Computability;2023-12-21
2. While Loops in Coq;Electronic Proceedings in Theoretical Computer Science;2023-09-22
3. Game semantics of Martin-Löf type theory;Mathematical Structures in Computer Science;2023-07-31
4. A Tale of Additives and Concurrency in Game Semantics;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
5. A representation of L-domain by formal concept analysis;Soft Computing;2022-07-14