Redex2Coq: Towards a Theory of Decidability of Redex's Reduction Semantics.

Mallku Soldevila, Rodrigo Geraldo Ribeiro, Beta Ziliani

Browse the full ITP paper archive.