Keyword:muMALL

Publications
Peano Arithmetic and muMALL: an Extended Abstract Matteo Manighetti and Dale Miller EasyChair Preprint 8826