Octavio Malherbe
Octavio Malherbe
Affiliation: Universidad de la República, FIng, Uruguay
Pages in this Program
Syntactic linearity and Linear hyperdoctrines for second-order intuitionistic Linear Logic
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑