Semantics

Results: 7371



#Item
291

The (Non)Utility of Semantics for Coreference Resolution Michael Strube Heidelberg Institute for Theoretical Studies gGmbH Heidelberg, Germany

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

- Date: 2015-10-02 08:59:18
    292

    Categorical Semantics of Digital Circuits Dan R. Ghica, Achim Jung University of Birmingham, UK Abstract—This paper proposes a categorical theory of digital circuits based on monoidal categories and graph rewriting. Th

    Add to Reading List

    Source URL: www.cs.bham.ac.uk

    - Date: 2016-08-30 09:47:27
      293

      A component-based approach to semantics Peter Mosses Swansea University, UK Modularity’15 • March18, 2015 Fort Collins, Colorado, USA

      Add to Reading List

      Source URL: modularity.info

      - Date: 2016-10-14 09:00:16
        294

        RESIDUATED FRAMES WITH APPLICATIONS TO DECIDABILITY NIKOLAOS GALATOS AND PETER JIPSEN Abstract. Residuated frames provide relational semantics for substructural logics and are a natural generalization of Kripke frames in

        Add to Reading List

        Source URL: math.chapman.edu

        - Date: 2008-09-05 19:27:35
          295

          page.1 Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion Wolfgang Jeltsch

          Add to Reading List

          Source URL: www.ioc.ee

          - Date: 2014-09-30 10:08:41
            296

            HoTT SQL: Proving Query Rewrites with Univalent SQL Semantics Shumo Chu∗ Konstantin Weitz∗

            Add to Reading List

            Source URL: arxiv.org

            - Date: 2016-08-08 20:26:11
              297

              Concepts of Programming Languages – Recitation 3: (More) Natural Operational Semantics and Structural Operational Semantics Oded Padon

              Add to Reading List

              Source URL: www.cs.tau.ac.il

              - Date: 2016-03-22 14:28:09
                298

                Concepts of Programming Languages – Recitation 3: More Natural Operational Semantics Oded Padon Reference:

                Add to Reading List

                Source URL: www.cs.tau.ac.il

                - Date: 2015-04-01 08:57:39
                  299

                  page.1 Categorical Semantics for an Intuitionistic Temporal Logic Wolfgang Jeltsch TTÜ Küberneetika Instituut

                  Add to Reading List

                  Source URL: www.ioc.ee

                  - Date: 2014-09-30 06:56:38
                    300

                    Semantics for a Quantum Programming Language by Operator Algebras Kenta Cho Institute for Computing and Information Sciences (iCIS) Radboud University Nijmegen, The Netherlands , http://www.cs.ru.nl/K.Cho/

                    Add to Reading List

                    Source URL: www.cs.ru.nl

                    - Date: 2016-10-24 16:26:49
                      UPDATE