Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Kamareddine, Fairouz
Laan, Twan
and
Nederpelt, Rob
2003.
Revisiting the notion of function.
The Journal of Logic and Algebraic Programming,
Vol. 54,
Issue. 1-2,
p.
65.
Lengrand, Stéphane
Dyckhoff, Roy
and
McKinna, James
2006.
Computer Science Logic.
Vol. 4207,
Issue. ,
p.
441.
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. ,
FRIDLENDER, DANIEL
and
PAGANO, MIGUEL
2015.
Pure type systems with explicit substitutions.
Journal of Functional Programming,
Vol. 25,
Issue. ,