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

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)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)On the Lambek Calculus with an Exchange Modality., , and . Linearity-TLLA@FLoC, volume 292 of EPTCS, page 43-89. (2018)Categorical and Kripke Semantics for Constructive S4 Modal Logic., , , and . CSL, volume 2142 of Lecture Notes in Computer Science, page 292-307. Springer, (2001)Constructive Temporal Logic, Categorically., and . FLAP, (2017)Fibrational Modal Type Theory., and . LSFA, volume 323 of Electronic Notes in Theoretical Computer Science, page 143-161. Elsevier, (2015)Universal Dependencies for Portuguese., , , , , and . DepLing, page 197-206. Linköping University Electronic Press, (2017)The Gödel Fibration., , and . MFCS, volume 202 of LIPIcs, page 87:1-87:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Embedding NomLex-BR nominalizations into OpenWordnet-PT., , , and . GWC, page 378-382. University of Tartu Press, (2014)