Paulo Oliva (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

16 Gilda Ferreira, Paulo Oliva: Functional Interpretations of Intuitionistic Linear Logic. CSL 2009: 3-19

Selection of 1 from 16 records - Paulo Oliva has 11 coauthors