*Result*: Alpha-renaming of higher-order meta-expressions

*Author/editor-in-chief*:
*Publication*:
Frankfurt am Main : Goethe-Univ., Fachbereich Informatik und Mathematik, Institut für Informatik, 2017
*Distribution*:
Frankfurt am Main : Universitätsbibliothek Johann Christian Senckenberg
*Physical description scale*:
1 Online-Ressource (18 Seiten)
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Frankfurter Informatik-Berichte, ISSN 1868-8330 ; [2017,2]