Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Miquey, Étienne
2019.
A Classical Sequent Calculus with Dependent Types.
ACM Transactions on Programming Languages and Systems,
Vol. 41,
Issue. 2,
p.
1.
Discussions
No Discussions have been published for this article.