Author:
Maietti Maria Emilia,Rosolini Giuseppe
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Logic
Reference31 articles.
1. Barthes G., Capretta V., Pons O.: Setoids in type theory. J. Funct. Program. 13(2), 261–293 (2003)
2. Birkedal, L., Carboni, A., Rosolini, G., Scott, D.S.: Type theory via exact categories. In: Pratt, V. (ed.) Proc. 13th Symposium in Logic in Computer Science, pp. 188–198, IEEE Computer Society, Indianapolis (1998)
3. Bishop E.: Foundations of Constructive Analysis. McGraw-Hill, Maidenheach (1967)
4. Carboni A.: Some free constructions in realizability and proof theory. J. Pure Appl. Alg. 103, 117–148 (1995)
5. Carboni A., Celia Magno R.: The free exact category on a left exact one. J. Austr. Math. Soc. 33(A), 295–301 (1982)
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献