M. Fiore

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Proof Theoretic

Top Venues

Publications

M. Fiore, Nicola Gambino, Martin Hyland
Monoidal bicategories, differential linear logic, and analytic functors. CoRR (2024)
Konstantinos Ntontin, Lechoslaw Tomaszewski, Joan Adrià Ruiz De Azua, A. Cárdenas, R. Pueyo Centelles, C.-K. Lin, Agapi Mesodiakaki, A. Antonopoulos, Nikolaos Pappas, M. Fiore, S. Aguilar, S. Watts, P. Harris, A. R. Santiago, Fotis I. Lazarakis, M. Calisti, Symeon Chatzinotas
ETHER: A 6G Architectural Framework for 3D Multi-Layered Networks. WCNC (2024)