Combinatorics of explicit substitutions

From MaRDI portal
Publication:6300204

arXiv1804.03862MaRDI QIDQ6300204

Maciej Bendkowski, Pierre Lescanne

Publication date: 11 April 2018











This page was built for publication: Combinatorics of explicit substitutions