Author:
Geuvers Herman,Hurkens Tonny
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Lecture Notes in Computer Science;ZM Ariola,2003
2. Curien, P.-L., Herbelin, H.: The duality of computation. In: ICFP, pp. 233–243 (2000)
3. Dyckhoff, R.: Some remarks on proof-theoretic semantics. In: Piecha, T., Schroeder-Heister, P. (eds.) Advances in Proof-Theoretic Semantics, vol. 43, pp. 79–93. Springer, Heidelberg (2016)
4. Francez, N., Dyckhoff, R.: A note on harmony. J. Philos. Logic 41(3), 613–628 (2012)
5. Geuvers, H., Hurkens, T.: Deriving natural deduction rules from truth tables (Extended version). Technical report (2016). http://www.cs.ru.nl/~ herman/PUBS/NatDedTruthTables_Extended.pdf
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献