zbMath1330.03032MaRDI QIDQ2944052
Favio E. Miranda-Perea, Lourdes del Carmen González Huesca, Araceli Liliana Reyes Cabello
Publication date: 7 September 2015
Mathematics Subject Classification ID
03F07: Structure of proofs
03B40: Combinatory logic and lambda calculus