TY - JOUR
T1 - Automath and pure type systems
AU - Kamareddine, Fairouz
AU - Laan, Twan
AU - Nederpelt, Rob
PY - 2003/9
Y1 - 2003/9
N2 - We study the position of the AUTOMATH systems within the framework of Pure Type Systems (PTSs). In [1,15], a rough relationship has been given between AUTOMATH and PTSs. That relationship ignores three of the most important features of AUTOMATH: definitions, parameters and Pi-reduction, because at the time, PTSs did not have these features. Since, PTSs have been extended with these features and in view of this, we revisit the correspondence between AUTOMATH and PTSs. This paper gives the most accurate description of AUTOMATH as a PTS so far. ©2003 Published by Elsevier Science B. V.
AB - We study the position of the AUTOMATH systems within the framework of Pure Type Systems (PTSs). In [1,15], a rough relationship has been given between AUTOMATH and PTSs. That relationship ignores three of the most important features of AUTOMATH: definitions, parameters and Pi-reduction, because at the time, PTSs did not have these features. Since, PTSs have been extended with these features and in view of this, we revisit the correspondence between AUTOMATH and PTSs. This paper gives the most accurate description of AUTOMATH as a PTS so far. ©2003 Published by Elsevier Science B. V.
UR - http://www.scopus.com/inward/record.url?scp=19044384187&partnerID=8YFLogxK
U2 - 10.1016/S1571-0661(04)80756-4
DO - 10.1016/S1571-0661(04)80756-4
M3 - Article
SN - 1571-0661
VL - 85
SP - 33
EP - 52
JO - Electronic Notes in Theoretical Computer Science
JF - Electronic Notes in Theoretical Computer Science
IS - 7
ER -