Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. J. Bénabou, Fibred categories and the foundations of naive category theory, J. Symbolic Logic 50(1985) 10–37.
2. Lecture Notes in Computer Science;K.B. Bruce,1984
3. G. Cousineau, P.L. Curien and M. Mauny, The categorical abstract machine. In: J.P. Jouannaud (ed.), Functional Programming Languages and Computer Architecture, Lecture Notes in Computer Science No.201 (Springer-Verlag, Berlin-Heidelberg-New York-Tokyo, 1985) pp 50–64.
4. T.Coquand and T.Ehrhard, An equational presentation of higher order logic. In this volume.
5. A.Carboni, P.J.Freyd and A.Scedrov, in preparation.
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献