Author:
Honsell Furio,Liquori Luigi,Scagnetto Ivan
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Albert, H.: Traktat über kritische Vernunft. J.C.B. Mohr (Paul Siebeckggu), Tübingen (1991)
2. Alechina, N., Mendler, M., de Paiva, V., Ritter, E.: Categorical and Kripke Semantics for Constructive S4 Modal Logic. In: Fribourg, L. (ed.) CSL 2001. LNCS, vol. 2142, pp. 292–307. Springer, Heidelberg (2001)
3. Baillot, P., Coppola, P., Lago, U.D.: Light logics and optimal reduction: Completeness and complexity. In: Proc. LICS, pp. 421–430. IEEE Computer Society (2007)
4. Barendregt, H.: Lambda Calculus: Its Syntax and Semantics. North Holland (1984)
5. Barendregt, H., Barendsen, E.: Autarkic computations in formal proofs. Journal of Automated Reasoning 28, 321–336 (2002)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献