Publication:5277832
From MaRDI portal
DOI10.4230/LIPIcs.TLCA.2015.76zbMath1433.03035MaRDI QIDQ5277832
Ugo de'Liguoro, Tzu-Chun Chen, Jakob Rehof, Jan Bessai, Andrej Dudenhefner, Boris Düdder
Publication date: 12 July 2017
03B40: Combinatory logic and lambda calculus