Author:
Babaev A. A.,Solov'ev S. V.
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,General Mathematics,Statistics and Probability,Applied Mathematics,General Mathematics,Statistics and Probability
Reference9 articles.
1. C. Mann, “The connection between equivalence of proofs and Cartesian closed categories,” Proc. London Math. Soc.,31, No. 3, 289–310 (1975).
2. G. E. Mints, “Theory of categories and theory of proofs. I,” in: Urgent Questions of Logic and the Methodology of Science [in Russian], Kiev (1979).
3. H. Curry and R. Feys, Combinatory Logic. I, Amsterdam (1958).
4. D. Scott, “Constructive validity,” Lect. Notes in Math.,125, 237–275 (1970).
5. D. Prawitz, “Ideas and results in proof theory,” in: Proc. 2nd Scand. Logic Symp., Amsterdam (1971), pp. 235–307.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Cooper Storage Idiom;Journal of Logic, Language and Information;2018-01-06
2. Which simple types have a unique inhabitant?;ACM SIGPLAN Notices;2015-12-18
3. Which simple types have a unique inhabitant?;Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming;2015-08-29
4. Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus;Lecture Notes in Computer Science;2011
5. On the Membership Problem for Non-Linear Abstract Categorial Grammars;Journal of Logic, Language and Information;2009-12-19