TY - GEN
AU - Arkor, Nathanael
AU - McDermott, Dylan
AU - Nathanael Arkor and Dylan McDermott
TI - Abstract Clones for Abstract Syntax
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - logical relations
KW - substitution
KW - simple type theories
KW - induction
KW - variable binding
KW - presentations
KW - abstract clones
KW - second-order abstract syntax
KW - free algebras
PY - 2021
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation