Author:
Kinoshita Yoshiki,Power John
Subject
General Computer Science,Theoretical Computer Science
Reference18 articles.
1. Foundations of Constructive Analysis;Bishop,1967
2. Elementary observations on 2-categorical limits;Kelly;Bull. Aust. Math. Soc.,1989
3. Normalization and the Yoneda embedding;Čubrić;Math. Structures Comput. Sci.,1998
4. A bicategorical analysis of E-categories;Kinoshita;Math. Jpn.,1998
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Causal Unfoldings and Disjunctive Causes;Logical Methods in Computer Science;2023-04-20