Author:Matteo Manighetti

Publications
EasyChair Preprint no. 8826

Keyphrases

linearize arithmetic, muMALL, Peano arithmetic, polarity.