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