Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Cimini, Matteo
Miller, Dale
and
Siek, Jeremy G.
2020.
Extrinsically typed operational semantics for functional languages.
p.
108.
Bentzen, Bruno
2023.
Frege’s Theory of Types.
Manuscrito,
Vol. 46,
Issue. 4,