Showing 1 - 1 results of 1 for search 'Luc Pellissier', query time: 0.02s
Refine Results
-
1
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion by Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
Published 2022-04-01
Article