Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Dialectica-like Model of Linear Logic.. Category Theory and Computer Science, volume 389 of Lecture Notes in Computer Science, page 341-356. Springer, (1989)Dialectical categories, cardinalities of the continuum and combinatorics of ideals., and . Logic Journal of the IGPL, 25 (4): 585-603 (2017)Fuzzy Topological Systems, and . CoRR, (2011)Fibrational Modal Type Theory., and . LSFA, volume 323 of Electronic Notes in Theoretical Computer Science, page 143-161. Elsevier, (2015)Constructive Temporal Logic, Categorically., and . FLAP, (2017)Categorical and Kripke Semantics for Constructive S4 Modal Logic., , , and . CSL, volume 2142 of Lecture Notes in Computer Science, page 292-307. Springer, (2001)On the Lambek Calculus with an Exchange Modality., , and . Linearity-TLLA@FLoC, volume 292 of EPTCS, page 43-89. (2018)Preface to Intiutionistic Modal Logic 2017., and . FLAP, 8 (8): 2261-2264 (2021)A linked open data architecture for the historical archives of the Getulio Vargas Foundation., , , , , and . Int. J. Digit. Libr., 15 (2-4): 153-167 (2015)Embedding NomLex-BR nominalizations into OpenWordnet-PT., , , and . GWC, page 378-382. University of Tartu Press, (2014)