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. AN EXTENDED TYPE SYSTEM WITH LAMBDA-TYPED LAMBDA-EXPRESSIONS;LOG METH COMPUT SCI;2020
3. Classical logic with Mendler induction;Journal of Logic and Computation;2020-01
4. A Classical Sequent Calculus with Dependent Types;ACM Transactions on Programming Languages and Systems;2019-06-21
5. Validating Back-links of FOLID Cyclic Pre-proofs;Electronic Proceedings in Theoretical Computer Science;2018-10-19