Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Nanevski, Aleksandar
Pfenning, Frank
and
Pientka, Brigitte
2008.
Contextual modal type theory.
ACM Transactions on Computational Logic,
Vol. 9,
Issue. 3,
p.
1.
Santo, Jose Espirito
Matthes, Ralph
and
Pinto, Luis
2009.
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi.
Logical Methods in Computer Science,
Vol. Volume 5, Issue 2,
Issue. ,
Kesner, Delia
2009.
A Theory of Explicit Substitutions with Safe and Full Composition.
Logical Methods in Computer Science,
Vol. Volume 5, Issue 3,
Issue. ,
FRIDLENDER, DANIEL
and
PAGANO, MIGUEL
2015.
Pure type systems with explicit substitutions.
Journal of Functional Programming,
Vol. 25,
Issue. ,