Luis Scoccola
发表
Alexander Rolle,
Luis Scoccola,
2020,
ArXiv.
Thorsten Altenkirch,
Luis Scoccola,
2020,
LICS.
Luis Scoccola,
Luis Scoccola,
2019,
Mathematical Structures in Computer Science.
Alexander Rolle,
Luis Scoccola,
Luis Scoccola,
2019,
ArXiv.
Jose A. Perea,
Luis Scoccola,
Luis Scoccola,
2021,
Forum of Mathematics, Sigma.
Steve Oudot,
Luis Scoccola,
2021,
ArXiv.