Author:
Barbanera Franco,Berardi Stefano
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Cited by
62 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. An S4 extension of the λμμ-calculus;Journal of Information Processing;2023
2. Classical logic with Mendler induction;Journal of Logic and Computation;2020-01
3. AN EXTENDED TYPE SYSTEM WITH LAMBDA-TYPED LAMBDA-EXPRESSIONS;LOG METH COMPUT SCI;2020
4. A Classical Sequent Calculus with Dependent Types;ACM Transactions on Programming Languages and Systems;2019-06-21
5. Fast Cut-Elimination using Proof Terms: An Empirical Study;Electronic Proceedings in Theoretical Computer Science;2018-10-19