Keyword:muMALL

Papers
Peano Arithmetic and muMALL: an Extended Abstract Matteo Manighetti and Dale Miller EasyChair Preprint no. 8826