Linear Algebraic Structure of Word Senses, with Applications to Polysemy arXiv:1601.03764v1 [cs.CL] 14 JanSanjeev Arora

Source URL: arxiv.org

• Linguistics
• Mathematics
• Lexical semantics
• Semantics
• Artificial neural networks
• Natural language processing
• Word-sense disambiguation
• Word embedding
• Word2vec
• Sparse approximation
• Word-sense induction
• Discourse analysis

Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh

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

• Theoretical computer science
• Logic in computer science
• Formal methods
• Programming language semantics
• Models of computation
• Denotational semantics
• Process calculi
• Matthew Hennessy
• Semantics
• Maurice Nivat
• Bisimulation
• Negation

No complete linear term rewriting system for propositional logic Anupam Das and Lutz Straßburger Abstract Recently it has been observed that the set of all sound linear inference rules in propositional

Source URL: www.lix.polytechnique.fr

• Mathematics
• Logic
• Mathematical logic
• Boolean algebra
• Formal languages
• Semantics
• Algebraic logic
• Logic in computer science
• Substitution
• Propositional calculus
• Rewriting
• Negation

A Fibrational Framework for Possible-World Semantics of ALGOL-like Languages C. Hermida and R. D. Tennent School of Computing Queen’s University Kingston, Canada

Source URL: maggie.cs.queensu.ca

• Category theory
• Functors
• Algebraic topology
• Homotopy theory
• Fibred category
• Cartesian closed category
• Natural transformation
• Universal property
• Sheaf
• Fibration
• Product
• Dual

First Joint Meeting Brazil Italy of Mathematics Special Session: Mathematical Logic Rio de Janeiro, August 29 - September 02, 2016 Title: Towards Non-deterministic algebraic semantics Authors: Marcelo E. Coniglio (Univer

Source URL: www.sbm.org.br

Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic Minghui Ma1 , Alessandra Palmigiano2 , and Mehrnoosh Sadrzadeh3 1 2

Source URL: www.appliedlogictudelft.nl

Programming with Algebraic Effects and Handlers Andrej Bauer Matija Pretnar

Source URL: math.andrej.com

• Software engineering
• Computer programming
• Theoretical computer science
• Symbol
• Logic in computer science
• Valuation
• Denotational semantics
• Monad
• Table of stars with Bayer designations

Algebraic semantics for CFGs Syntactic Concept Lattice Syntactic Concept Lattice of Order 2

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

Multiversal Polymorphic Algebraic Theories — Syntax, Semantics, Translations, and Equational Logic — Marcelo Fiore Makoto Hamana

Source URL: www.cs.gunma-u.ac.jp

Chapter 3 CONCURRENT SEMANTICS OF ALGEBRAIC GRAPH TRANSFORMATIONS PAOLO BALDAN, ANDREA CORRADINI

Source URL: www.math.unipd.it