My Google Scholar Works

Transcription

1 My Google Scholar Works Valeria de Paiva Sept 2016 References [1] Fabricio Chalub, Livy Real, Alexandre Rademaker, and Valeria de Paiva. Semantic links for portuguese. In 10th Edition of its Language Resources and Evaluation Conference (LREC), Portoroz, Slovenia, May [2] Livy Real, Valeria de Paiva, Fabricio Chalub, and Alexandre Rademaker. Gentle with gentilics. In Joint Second Workshop on Language and Ontologies (LangOnto2) and Terminology and Knowledge Structures (TermiKS) (co-located with LREC 2016), Slovenia, May [3] Valeria de Paiva, Livy Real, Hugo Gonalo Oliveira, Alexandre Rademaker, Cludia Freitas, and Alberto Simes. An overview of portuguese wordnets. In Global Wordnet Conference 2016, Bucharest, Romenia, January [4] Valeria de Paiva, Fabricio Chalub, Livy Real, and Alexandre Rademaker. Making virtue of necessity: A verb lexicon. In International Conference on Computational Processing of the Portuguese Language, pages Springer International Publishing, [5] Valeria de Paiva and Livy Real. Universal POS tagging for Portuguese: Issues and Opportunities. Proceedings of LexSem+Logics 2016, page 25, [6] Valeria de Paiva and Eike Ritter. Fibrational Modal Type Theory. Electronic Notes in Theoretical Computer Science, 323: , [7] Harley Eades III and Valeria de Paiva. Multiple Conclusion Linear Logic: Cut Elimination and More. In International Symposium on 1

2 Logical Foundations of Computer Science, pages Springer International Publishing, [8] Steven Neale, Valeria de Paiva, Arantxa Otegi, and Alexandre Rademaker. Proceedings of the lexsem+logics workshop arxiv preprint arxiv: , [9] Livy Real and Valeria de Paiva. Plurality in Wordnets. Proceedings of LexSem+Logics 2016, page 6, [10] Samuel G da Silva and Valeria de Paiva. Dialectica Categories, Cardinalities of the Continuum and Combinatorics of Ideals. In Handbook of the 5th World Congress and School on Universal Logic, (abstract), volume 65, page 377, [11] Valeria de Paiva, Ruy de Queiroz, Lawrence S Moss, Daniel Leivant, and Anjolina G de Oliveira. Proceedings of Logic, Language, Information and Computation: 22nd workshop, WoLLIC 2015, Bloomington, Indiana, USA, July 20-23, [12] Makoto Kanazawa, Lawrence Moss, and Valeria de Paiva. Third Workshop on Natural Language and Computer Science nlcs15. EasyChair Proceedings in Computing, EPiC vol 32, [13] Hugo Gonçalo Oliveira, Valeria de Paiva, Cláudia Freitas, Alexandre Rademaker, Livy Real, and Alberto Simões. As Wordnets do Português. Oslo Studies in Language, 7(1), [14] Alexandre Rademaker, Dário Augusto Borges Oliveira, Valeria de Paiva, Suemi Higuchi, Asla Medeiros e Sá, and Moacyr Alvim. A linked open data architecture for the historical archives of the getulio vargas foundation. International Journal on Digital Libraries, 15(2-4): , [15] Livy Real, Fabricio Chalub, Valeria de Paiva, Claudia Freitas, and Alexandre Rademaker. Seeing is correcting: curating lexical resources using social interfaces. ACL-IJCNLP 2015, page 20, [16] Charles Stewart, Valeria de Paiva, and Natasha Alechina. Intuitionistic modal logic: A 15-year retrospective. Journal of Logic and Computation, page exv042, [17] Wlodek Zadrozny, Valeria de Paiva, and Lawrence S Moss. Explaining Watson: Polymath Style. In AAAI, pages ,

3 [18] Livy Maria Real Coelho, Alexandre Rademaker, Valeria de Paiva, and Gerard de Melo. Embedding NomLex-BR nominalizations into OpenWordNet-PT. In Proc. of Global WordNet Conference, [19] Dick Crouch and Valeria De Paiva. If, not when. Electr. Notes Theor. Comput. Sci., 300:3 20, [20] Gerard De Melo and Valeria De Paiva. Sense-specific implicative commitments. In International Conference on Intelligent Text Processing and Computational Linguistics, pages Springer Berlin Heidelberg, [21] Valeria de Paiva. Categorical semantics of linear logic for all. In Advances in Natural Deduction, pages Springer Netherlands, [22] Valeria De Paiva. Linear logic model of state revisited. Logic Journal of IGPL, 22(5): , [23] Valeria de Paiva, Mario Benevides, Vivek Nigam, and Elaine Pimentel. Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications (IMLA 2013) in association with UNILOG Electronic Notes in Theoretical Computer Science, 300:1 104, [24] Valeria de Paiva, William Jarrold, David Martin, Peter F Patel- Schneider, Karen Wallace, and Peter Z Yeh. Ontologies in Enterprise Applications: Dimensional Comparison. FOMI2014 Formal Ontologies meet Industry, pages 45 55, [25] Valeria de Paiva, Charles Morgan, and Samuel G da Silva. Natural Number Objects in Dialectica Categories. Electronic Notes in Theoretical Computer Science, 305:53 65, [26] Valeria de Paiva, Walther Neuper, Pedro Quaresma, Christian Retoré, Lawrence S Moss, and Jordi Saludes. Joint Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS14) and First International Workshop on Natural Language Services for Reasoners (nlsr 2014) a iated to RTA-TLCA, Vienna Summer of Logic, July [27] Valeria de Paiva, Dário Augusto Borges Oliveira, Suemi Higuchi, Alexandre Rademaker, and Gerard de Melo. Exploratory information extraction from a historical dictionary. In e-science (e-science), 3

4 2014 IEEE 10th International Conference on, volume 2, pages IEEE, [28] Valeria de Paiva, Livy Real, Alexandre Rademaker, and Gerard De Melo. NomLex-PT: A Lexicon of Portuguese Nominalizations. In LREC, pages , [29] Cláudia Freitas, Valeria de Paiva, Alexandre Rademaker, Gerard de Melo, Livy Real, and Anne Silva. Extending a Lexicon of Portuguese Nominalizations with Data from Corpora. In International Conference on Computational Processing of the Portuguese Language, pages Springer International Publishing, [30] Vivek Nigam and Valeria de Paiva. Towards a rewriting framework for textual entailment. In Pre-proceedings of the 9th Workshop on Logical and Semantic Frameworks, with Applications, Brasilia, Brazil, [31] Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria De Paiva, et al. Advances in natural deduction [32] Marcela Quispe-Cruz, Anjolina G de Oliveira, Ruy JGB de Queiroz, and Valeria de Paiva. Intuitionistic n-graphs. Logic Journal of IGPL, 22(2): , [33] Alexandre Rademaker, Valeria de Paiva, Gerard De Melo, Livy Maria Real Coelho, and Maira Gatti. OpenWordNet-PT: a project report. In Proceedings of the 7th Global WordNet Conference, pages , [34] Valeria de Paiva. Contexts for quantification. Proceedings of CommonSense, [35] Valeria de Paiva and Andrei Rodin. Elements of categorical logic: Fifty years later. Logica Universalis, 7(3): , [36] Tracy Holloway King and Valeria de Paiva. From Quirky Case to Representing Space: Papers in Honor of Annie Zaenen. Center for the Study of Language and Information (CSLI), [37] Annie Zaenen, Cleo Condoravdi, and Valeria de Paiva. Perspectives on semantic representations for textual inference. Linguistics Issues in Language Technology LiLT, 9,

5 [38] Jessica N Staddon, Richard Chow, Valeria De Paiva, Philippe JP Golle, Ji Fang, and Tracy Holloway King. Method and apparatus for detecting sensitive content in a document, September US Patent 8,271,483. [39] Patricia Amaral, Valeria de Paiva, Cleo Condoravdi, and Annie Zaenen. Where s the meeting that was cancelled? existential implications of transitive verbs. In Proceedings of the 3rd Workshop on Cognitive Aspects of the Lexicon, Mumbai, India, COLING, pages , [40] Valeria de Paiva and Alexandre Rademaker. Revisiting a Brazilian WordNet. In Proceedings of the 6th International Global Wordnet Conference, [41] Valeria de Paiva, Alexandre Rademaker, and Gerard de Melo. OpenWordNet-PT: An Open Brazilian Wordnet for Reasoning. In COLING (Demos), pages , [42] Valeria de Paiva. Bridges from language to logic: Concepts, Contexts and Ontologies. Electronic Notes in Theoretical Computer Science, 269:83 94, [43] Valeria de Paiva. Lorenzen Games for Full Intuitionistic Linear Logic. In Preliminary Proceedings of Logic, Methodology and Philosophy of Science (LMPS) 2011, Nancy, France, [44] Valeria de Paiva and Natasha Alechina. Contextual constructive description logics. ARCOE-11, page 16, [45] Valeria de Paiva, Edward Hermann Haeusler, and Alexandre Rademaker. Constructive description logics hybrid-style. Electronic Notes in Theoretical Computer Science, 273:21 31, [46] Valeria de Paiva and Brigitte Pientka. Intuitionistic Modal Logic and Applications (IMLA 2008). Information and Computation, 209(12): , [47] Valeria de Paiva and Eike Ritter. Basic constructive modality. Logic without frontiersfestschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday. College Publications, pages ,

6 [48] Valeria de Paiva and Apostolos Syropoulos. Dialectica Fuzzy Petri Nets. In Extended abstract accepted for presentation at the XVI Brazilian Logic Conference(EBL 2011), [49] Edward Hermann Haeusler, Valeria de Paiva, and Alexandre Rademaker. Intuitionistic description logic and legal reasoning. In nd International Workshop on Database and Expert Systems Applications, pages IEEE, [50] Apostolos Syropoulos and Valeria de Paiva. Fuzzy topological systems. arxiv preprint arxiv: , [51] Edward H Haeusler, Valeria de Paiva, and Alexandre Rademaker. Intuitionistic logic and legal ontologies. In Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010: The Twenty-Third Annual Conference, pages IOS Press, [52] Edward Hermann Haeusler, Valeria De Paiva, and Alexandre Rademaker. Using intuitionistic logic as a basis for legal ontologies. In Proceedings of the 4th Workshop on Legal Ontologies and Artificial Intelligence Techniques, pages 69 76, [53] Grigori Mints, Valeria de Paiva, and Ruy de Queiroz. Logic, Language, Information and Computation. Information and Computation (special issue), 207(10): , [54] Paolo Bouquet, Jérôme Euzenat, Chiara Ghidini, Deborah McGuinness, Valeria de Paiva, Gulin Qi, Luciano Serafini, Pavel Shvaiko, Holger Wache, and Alain Léger. Proc. 4th ECAI 2008 workshop on context and ontologies (C&O). No commercial editor., [55] Valeria de Paiva and Tracy Holloway King. Designing testsuites for grammar-based systems in applications. In Proceedings of the Workshop on Grammar Engineering Across Frameworks, pages Association for Computational Linguistics, [56] Olga Gurevich, Richard Crouch, Tracy Holloway King, and Valeria De Paiva. Deverbal nouns in knowledge representation. Journal of logic and computation, 18(3): , [57] Charlotte Price, Valeria de Paiva, and Tracy Holloway King. Context Inducing Nouns. In Coling 2008: Proceedings of the workshop 6

7 on Knowledge and Reasoning for Answering Questions, pages Coling 2008, [58] Daniel G Bobrow, Bob Cheslow, Cleo Condoravdi, Lauri Karttunen, Tracy Holloway King, Rowan Nairn, and Valeria de Paiva. PARC s bridge and question answering system. Grammar Engineering Across Frameworks, pages 46 66, [59] Daniel G Bobrow, Cleo Condoravdi, Richard Crouch, Valeria de Paiva, Lauri Karttunen, Tracy Holloway King, Rowan Nairn, Lottie Price, and Annie Zaenen. Precision-focused textual inference. In Proceedings of the ACL-PASCAL Workshop on Textual Entailment and Paraphrasing, pages Association for Computational Linguistics, [60] Paolo Bouquet, Jérôme Euzenat, Chiara Ghidini, Deborah Mcguinness, Valeria de Paiva, Luciano Serafini, Pavel Shvaiko, and Holger Wache. Proc. 3rd Context 2007: Workshop on Context and Ontologies: Representation and Reasoning. CEUR, [61] Torben Braüner, Patrick Blackburn, Thomas Bolander, Valeria de Paiva, and Jørgen Villadsen. Proceedings of the International Workshop on Hybrid Logic Electronical Notes in Theoretical Computer Science, [62] Anjolina Grisi de Oliveira, Valeria de Paiva, Eli Ben-Sasson, Yuri Gurevich, and Ruy de Queiroz. Workshop on Logic, Language, Information and Computation at CSLI, Stanford, USA july 18 21, 2006 (report). The Bulletin of Symbolic Logic, 13(3), [63] Valeria de Paiva. A career in mathematics?, Talk at Sonoma University for Undergraduates, April 2007, slides: Poster at [64] Valeria de Paiva. Dialectica and chu constructions: Cousins? Theory and Applications of Categories, 17(7): , [65] Valeria de Paiva, Daniel G Bobrow, Cleo Condoravdi, Dick Crouch, Tracy H King, Lauri Karttunen, Rowan Nairn, and Annie Zaenen. Textual inference logic: Take two. In Contexts & Ontologies: Representation and Reasoning,

8 [66] Torben Braüner and Valeria de Paiva. Intuitionistic Hybrid Logic. Journal of Applied Logic, 4(3): , [67] Valeria de Paiva. Constructive description logics: what, why and how. Context Representation and Reasoning, Riva del Garda, [68] Valeria de Paiva and Vaughan Pratt. Chu spaces: theory and applications. Theory and Applications of Categories (special issue), 17, [69] Valeria de Paiva and Vaughan Pratt. Preface to the special volume on Chu spaces: theory and applications. Theory and Applications of Categories [electronic only], 17:1 9, [70] Valeria de Paiva and Eike Ritter. A Parigot-style linear -calculus for Full Intuitionistic Linear Logic. Theory and Applications of Categories, 17(3):30 48, [71] Danny Bobrow, Cleo Condoravdi, Richard Crouch, Ronald Kaplan, Lauri Karttunen, Tracy Holloway King, Valeria de Paiva, and Annie Zaenen. A basic logic for textual inference. In Proceedings of the AAAI Workshop on Inference for Textual Question Answering, pages 47 51, [72] Valeria de Paiva and Luiz Carlos Pereira. A short note on intuitionistic propositional logic with multiple conclusions. Manuscrito, 28(2): , [73] Maria Emilia Maietti, Paola Maneggia, Valeria De Paiva, and Eike Ritter. Relating categorical semantics for intuitionistic linear logic. Applied Categorical Structures, 13(1):1 36, [74] Michael Mendler and Valeria de Paiva. Constructive CK for contexts. In Proceedings of the first Workshop on Context Representation and Reasoning-CONTEXT05, Stanford, [75] Valeria de Paiva, Rajeev Goré, and Michael Mendler. Modalities in constructive logics and type theories. Journal of Logic and Computation, Special Issue, [76] Andrea Schalk and Valeria De Paiva. Poset-valued sets or how to build models for linear logics. Theoretical computer science, 315(1):83 107,

9 [77] Torben Braüner and Valeria de Paiva. Towards constructive hybrid logic. In Electronic Proceedings of Methods For Modalities 3, [78] Cleo Condoravdi, Dick Crouch, Valeria De Paiva, Reinhard Stolle, and Daniel G Bobrow. Entailment, Intensionality and Text Understanding. In Proceedings of the HLT-NAACL 2003 workshop on Text Meaning-Volume 9, pages Association for Computational Linguistics, [79] Valeria de Paiva. Natural deduction and context as (constructive) modality. In International and Interdisciplinary Conference on Modeling and Using Context, pages Springer Berlin Heidelberg, [80] Reinhard Stolle, Daniel G Bobrow, Cleo Condoravdi, Richard S Crouch, and Valeria De Paiva. Knowledge tracking: Answering implicit questions. In New Directions in Question Answering, pages 58 61, [81] Richard Crouch, Cleo Condoravdi, Reinhard Stolle, Tracy King, Valeria de Paiva, John O Everett, and Daniel G Bobrow. Scalability of redundancy detection in focused document collections. In Proceedings First International Workshop on Scalable Natural Language Understanding (SCANALU2002), [82] Valeria de Paiva. Lineales: algebraic models of linear logic from a categorical perspective (Preliminary Version) [83] Valeria de Paiva. Lineales: Algebras and categories in the semantics of linear logic. Words, Proofs and Diagrams, CSLI Publications, Stanford, pages , [84] John O Everett, Daniel G Bobrow, Reinhard Stolle, Richard Crouch, Valeria de Paiva, Cleo Condoravdi, Martin van den Berg, and Livia Polanyi. Making ontologies work for resolving redundancies across documents. Communications of the ACM, 45(2):55 60, [85] Natasha Alechina, Michael Mendler, Valeria De Paiva, and Eike Ritter. Categorical and Kripke semantics for constructive S4 modal logic. InInternational Workshop on Computer Science Logic, pages Springer Berlin Heidelberg,

10 [86] Gianluigi Bellin, Valeria De Paiva, and Eike Ritter. Extended Curry- Howard correspondence for a basic constructive modal logic. In Proceedings of Methods for Modalities, [87] Cleo Condoravdi, Dick Crouch, John Everett, Valeria Paiva, Reinhard Stolle, Danny Bobrow, and Martin van den Berg. Preventing Existence. In Proceedings of the international conference on Formal Ontology in Information Systems-Volume 2001, pages ACM, [88] Valeria de Paiva. Domains and Lambda-Calculi by R. Amadio and P-L. Curien, Springer Verlag, 1999, ISBN (review), [89] Gavin M. Bierman and Valeria C.V. de Paiva. On an intuitionistic modal logic. Studia Logica, 65(3): , [90] Neil Ghani, Valeria De Paiva, and Eike Ritter. Linear Explicit Substitutions. Logic Journal of IGPL, 8(1):7 31, [91] Sara Kalvala and Valeria De Paiva. A Substructural Logic for Formal Verification. In Supplemental proceedings of the 13th international conference on theorem proving in higher order logics (TPHOLs 2000), [92] Maria Emilia Maietti, Valeria De Paiva, and Eike Ritter. Categorical models for intuitionistic and linear type theory. In International Conference on Foundations of Software Science and Computation Structures, pages Springer Berlin Heidelberg, [93] Iliano Cervesato, Valeria de Paiva, and Eike Ritter. Explicit substitutions for linear logical frameworks. In Proceedings of the Workshop on Logical Frameworks and Meta-Languages, Paris, France, [94] Valeria de Paiva and Eike Ritter. Variations on Linear PCF. In WEST- APP Workshop on Explicit Substitutions and Applications, [95] Valeria De Paiva and Andrea Schalk. Building models of linear logic. In International Conference on Algebraic Methodology and Software Technology, pages Springer Berlin Heidelberg, [96] Valeria de Paiva, Josef van Genabith, Eike Ritter, and Richard Crouch. Linear Logic and Applications, Dagstuhl Report,

11 [97] Neil Ghani, Valeria De Paiva, and Eike Ritter. Categorical models of explicit substitutions. In International Conference on Foundations of Software Science and Computation Structure, pages Springer Berlin Heidelberg, [98] Maria E Maietti, Paola Maneggia, Valeria de Paiva, and Eike Ritter. Relating categorical semantics for intuitionistic linear logic. School of Computer Science Research Reports, University of Birmingham CSR, [99] Natasha Alechina, Valeria de Paiva, and Eike Ritter. Relating categorical and Kripke semantics for intuitionistic modal logics. In Proceedings of the Conference on Advances in Modal Logic (AIML 98), Uppsala, Sweden. CSLI, [100] P Nick Benton, Gavin M. Bierman, and Valeria CV de Paiva. Computational types from a logical perspective. Journal of Functional Programming, 8(02): , [101] V de Paiva and E Ritter. Proceedings of the ESSLLI 98 Workshop on Logical Abstract Machines (Saarbruecken, august 1998). School of Computer Science Research Reports, University of Birmingham CSR, [102] Neil Ghani, Valeria de Paiva, and Eike Ritter. Explicit substitutions for constructive necessity. In ICALP International Conference on Automata, Languages and Programming, [103] Torben Braüner and Valeria de Paiva. A formulation of linear logic based on dependency-relations. In International Workshop on Computer Science Logic (CSL), pages Springer Berlin Heidelberg, [104] Dick Crouch, J Van Genabith, M Hepple, and V De Paiva. Mini- Colloquium on Linear Logic for Natural Language. School of Computer Science Research Reports, University of Birmingham CSR, [105] V de Paiva and A Jung. Logic and Semantics for Programming, Birmingham, 13th-16th September School of Computer Science Technical Reports, University of Birmingham CSR, [106] Eike Ritter and Valeria De Paiva. On explicit substitutions and names. In International Colloquium on Automata, Languages, and Programming, pages Springer Berlin Heidelberg,

12 [107] Gavin M Bierman and VCV De Paiva. Intuitionistic necessity revisited. School of Computer Science Research Reports, University of Birmingham CSR, [108] Torben Braüner and Valeria de Paiva. Cut-elimination for Full Intuitionistic Linear Logic. BRICS Report Series, 3(10), [109] Marcelo da S Corrêa, Edward H Haeusler, and Valeria C.V. de Paiva. A Dialectica Model of State. In CATS 96, Computing: The Australian Theory Symposium Proceedings, pages 11 12, [110] Valeria de Paiva. Categorical Proof Theory and Linear Logic. In Course Notes for ESSLLI, [111] Sara Kalvala and Valeria de Paiva. Linear logic in Isabelle. In Isabelle Users Workshop Cambridge, England, [112] Valeria de Paiva and Luiz C Pereira. A new formulation of intuitionistic logic (abstract in Journal of Symbolic Logic), [113] Nick Benton, Gavin Bierman, Valeria de Paiva, and Martin Hyland. A term calculus for Intuitionistic Linear Logic. In International Conference on Typed Lambda Calculi and Applications, pages Springer Berlin Heidelberg, [114] Ted Briscoe, Ann Copestake, and Valeria De Paiva. Inheritance, defaults and the lexicon. Cambridge University Press, Reissued in paperback in [115] Ann Copestake, Antonio Sanfilippo, Ted Briscoe, and Valeria. de Paiva. The ACQUILEX LKB: An introduction. Ted Briscoe, Valeria de Paiva, and Ann Copestake, editors, Inheritance, Defaults, and the Lexicon, pages , [116] Valeria de Paiva. Types and constraints in the LKB. In Inheritance, defaults and the lexicon, pages Cambridge University Press, [117] Martin Hyland and Valeria de Paiva. Full Intuitionistic Linear Logic. Annals of Pure and Applied Logic, 64(3): , [118] Monica Nesi, Valeria de Paiva, and Eike Ritter. Rewriting properties of combinators for rudimentary linear logic. In International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, pages Springer Berlin Heidelberg,

13 [119] Nick Benton, Gavin Bierman, Valeria de Paiva, and Martin Hyland. Linear -calculus and categorical models revisited. In International Workshop on Computer Science Logic, pages Springer Berlin Heidelberg, [120] Nick Benton, Gavin Bierman, Valeria de Paiva, and Martin Hyland. Term assignment for intuitionistic linear logic (preliminary report), [121] E.J. Briscoe, Ann Copestake, and Valeria de Paiva. Proceedings of the ACQUILEX workshop on Default Inheritance in the Lexicon, Technical Report, [122] Carolyn Brown, Doug Gurr, and Valeria de Paiva. A Linear Specification Language for Petri Nets (Aarhus Technical Report), [123] Valeria De Paiva. Categorical Multirelations, Linear Logic and Petri Nets, Technical Report, [124] Valeria de Paiva. A Dialectica Model of the Lambek Calculus. In Amsterdam Colloquium, [125] Martin Hyland and Valeria de Paiva. Full intuitionistic linear logic. (Abstract presented at the 9th International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden, August 7-14), [126] Valeria de Paiva. The Dialectica Categories. University of Cambridge, Computer Lab Technical Report, PhD thesis, [127] Valeria C.V. de Paiva. Subtyping in Ponder: Preliminary Report. University of Cambridge, Computer Laboratory, [128] V C V de Paiva. The Dialectica Categories. In Categories in Computer Science and Logic: Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference Held June 14-20, 1987 with Support from the National Science Foundation, volume 92, page 47. American Mathematical Soc., [129] Valeria C.V. de Paiva. A dialectica-like model of linear logic. In Category Theory and Computer Science, pages Springer Berlin Heidelberg,