Subject
General Computer Science,Theoretical Computer Science
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Natural models of homotopy type theory;Mathematical Structures in Computer Science;2016-11-17
2. Discrete random variables over domains;Theoretical Computer Science;2007-06
3. Monoids over domains;Mathematical Structures in Computer Science;2006-04
4. Discrete Random Variables over Domains;Automata, Languages and Programming;2005
5. Restriction categories II: partial map classification;Theoretical Computer Science;2003-02