Alpha-structural induction and recursion for the lambda calculus in constructive type theory

From MaRDI portal
Publication:1744410

DOI10.1016/j.entcs.2016.06.008zbMath1395.68085OpenAlexW2461095491WikidataQ113317681 ScholiaQ113317681MaRDI QIDQ1744410

Ernesto Copello, Maribel Fernández, Nora Szasz, Álvaro Tasistro, Ana Bove

Publication date: 23 April 2018

Full work available at URL: https://doi.org/10.1016/j.entcs.2016.06.008




Related Items


Uses Software


Cites Work