Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Abramsky, S.: Computational interpretations of linear logic. Theo. Comp. Sci. 111(1-2), 3–57 (1993)
2. Avron, A.: Hypersequents, logical consequence and intermediate logics for concurrency. Ann. Math. Artif. Intell. 4, 225–248 (1991)
3. Avron, A.: The method of hypersequents in the proof theory of propositional non-classical logics, pp. 1–32. Clarendon Press (1996)
4. Baaz, M., Ciabattoni, A., Fermüller, C.: A natural deduction system for intuitionistic fuzzy logic. In: Lectures on Soft Computing (2001)
5. Balat, V., Di Cosmo, R., Fiore, M.: Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. SIGPLAN Not. 39(1), 64–76 (2004)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献