Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Coquand, T.: An analysis of Girard’s paradox. In: Proc. the Annual IEEE Symposium on Logic in Computer Science, pp. 227–236 (1986)
2. Lecture Notes in Computer Science;K. Fujita,2003
3. Girard, J.-Y., Taylor, P., Lafont, Y.: Proofs and Types. Cambridge University Press, Cambridge (1989)
4. Hofmann, M., Streicher, T.: Continuation models are universal for λμ-calculus. In: Proc. the 12th Annual IEEE Symposium on Logic in Computer Science, pp. 387–395 (1997)
5. Mitchell, J.C., Plotkin, G.D.: Abstract types have existential type. In: Proc. the 12th Annual ACM Symposium on Principles of Programming Languages, pp. 37–51 (1985)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献