Detta papper introducerar TILC: den interaktiva lambda-calculus spårämne. TILC syftar till att vara ett användarvänligt grafiskt program som hjälper till att undervisa/studera de viktigaste grundbegreppen i ren otypade lambda-kalculus. Detta uppnås genom att tillåta användare att grafiskt interagera med ett slags parse-träd av lambda-termer och automatiskt reproducera dessa interaktioner i lambda-term. Denna grafiska interaktion uppmuntrar eleverna att träna med lambda-termer som underlättar inlärningen av syntaxen och av den operativa semantiken av lambda-calculus. TILC har byggts med hjälp av HACKELL, wx Haskell och Happy, det kan laddas ner fritt från http://ima.udg.edu/~villaret/tilc.
Lambda calculus tracer TILC REF kan visa lambda termer som träd.
TILC: The Interactive Lambda-Calculus Tracer
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}