From post

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.

 

Другие публикации лиц с тем же именем

Dialectical categories, cardinalities of the continuum and combinatorics of ideals., и . Logic Journal of the IGPL, 25 (4): 585-603 (2017)Fuzzy Topological Systems, и . CoRR, (2011)A Dialectica-like Model of Linear Logic.. Category Theory and Computer Science, том 389 из Lecture Notes in Computer Science, стр. 341-356. Springer, (1989)On the Lambek Calculus with an Exchange Modality., , и . Linearity-TLLA@FLoC, том 292 из EPTCS, стр. 43-89. (2018)Categorical and Kripke Semantics for Constructive S4 Modal Logic., , , и . CSL, том 2142 из Lecture Notes in Computer Science, стр. 292-307. Springer, (2001)Constructive Temporal Logic, Categorically., и . FLAP, (2017)Fibrational Modal Type Theory., и . LSFA, том 323 из Electronic Notes in Theoretical Computer Science, стр. 143-161. Elsevier, (2015)Universal Dependencies for Portuguese., , , , , и . DepLing, стр. 197-206. Linköping University Electronic Press, (2017)The Gödel Fibration., , и . MFCS, том 202 из LIPIcs, стр. 87:1-87:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Embedding NomLex-BR nominalizations into OpenWordnet-PT., , , и . GWC, стр. 378-382. University of Tartu Press, (2014)