Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Morrisett, Greg
Ahmed, Amal
and
Fluet, Matthew
2005.
Typed Lambda Calculi and Applications.
Vol. 3461,
Issue. ,
p.
293.
de Paiva, Valeria
and
Eades, Harley
2018.
Logical Foundations of Computer Science.
Vol. 10703,
Issue. ,
p.
256.
Accattoli, Beniamino
2022.
Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic.
p.
1.
Discussions
No Discussions have been published for this article.