DOI10.1007/978-3-642-02273-9_28zbMath1238.03024MaRDI QIDQ3637208
Gunnar Wilken, Andreas Weiermann
Publication date: 7 July 2009 Published in: Lecture Notes in Computer Science (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-642-02273-9_28
zbMATH Keywords
rewrite system; termination; strong normalization; typed \(\lambda \)-calculus; Gödel's T
Mathematics Subject Classification ID
68Q42: Grammars and rewriting systems
03B40: Combinatory logic and lambda calculus
Cites Work