Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Fraser, A. G.
1971.
On the meaning of names in programming systems.
Communications of the ACM,
Vol. 14,
Issue. 6,
p.
409.
Ledgard, Henry F.
1972.
A model for type checking.
Communications of the ACM,
Vol. 15,
Issue. 11,
p.
956.
Steele, Guy L.
and
Gabriel, Richard P.
1993.
The evolution of Lisp.
ACM SIGPLAN Notices,
Vol. 28,
Issue. 3,
p.
231.
Hintikka, Jaakko
1998.
Paradigms for Language Theory and Other Essays.
p.
146.
Bekki, Daisuke
2010.
New Frontiers in Artificial Intelligence.
Vol. 6284,
Issue. ,
p.
159.
GUILLERMO, MAURICIO
and
MIQUEY, ÉTIENNE
2017.
Classical realizability and arithmetical formulæ.
Mathematical Structures in Computer Science,
Vol. 27,
Issue. 6,
p.
1068.
Chen, Xiaohong
and
Roşu, Grigore
2020.
A general approach to define binders using matching logic.
Proceedings of the ACM on Programming Languages,
Vol. 4,
Issue. ICFP,
p.
1.