Suggested Topics within your search.
Showing 1 - 20 results of 40 for search '"categorical semantics"', query time: 1.89s Refine Results
  1. 1
    Categorical semantics and composition of tree transducers
    by Jürgensen, Claus
    Published 2004
    Get full text
    Get full text
    Get full text
    Doctoral Thesis
  2. 2
    A categorical semantics for topological quantum computation
    by Paquette, Eric Olive
    Published 2013
    Get full text
    Get full text
    Others
  3. 3
    Generalization of Bounded Linear Logic and its Categorical Semantics
    by Fukihara, Yoji
    Published 2021
    Subjects: “...Categorical Semantics...”
    Get full text
    Doctoral Thesis
  4. 4
    Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion
    by Wolfgang Jeltsch
    Published 2014-06-01
    Get full text
    Article
  5. 5
    Models of sharing graphs : a categorical semantics of let and letrec
    by Hasegawa, Masahito
    Published 1997
    Get full text
  6. 6
    The List of the Wordforms of the Basic Lexemes of the Mongolian Language: a Short Direct Alphabetic Frequency Lexeme Dictionary of Wordforms with Categorical Semantic Markup
    by S. A. Krylov
    Published 2018-12-01
    Get full text
    Article
  7. 7
    Semántica categórica para subexponenciales en SELL
    by Carlos Ernesto Ramírez
    Published 2014-06-01
    Subjects: “...categorical semantic...”
    Get full text
    Article
  8. 8
    Sémantique algébrique des ressources pour la logique classique
    by Novakovic, Novak
    Published 2011
    Subjects: “...Categorical semantics...”
    Get full text
  9. 9
    Autour du lambda-calcul avec constructeurs
    by Petit, Barbara
    Published 2011
    Subjects: “...Categorical semantics...”
    Get full text
  10. 10
    A Corpus-based Toy Model for DisCoCat
    by Stefano Gogioso
    Published 2016-08-01
    “... from syntax to categorical semantics. In this work we present a concrete construction of one...”
    Get full text
    Article
  11. 11
    Categories for Dynamic Epistemic Logic
    by Kohei Kishida
    Published 2017-07-01
    “..., the categorical semantics of DEL can be merged straightforwardly with a standard categorical semantics for first...”
    Get full text
    Article
  12. 12
    Grammar form and semantics of number in clothes and accessory appellationsin Russian and Spanish languages
    by O V Lazareva
    Published 2010-06-01
    “...This article concerns categorical semantics of number. This grammar category is regarded as a unity...”
    Get full text
    Article
  13. 13
    In search of effectful dependent types
    by Vákár, Matthijs
    Published 2017
    “... develop a dependently typed dual intuitionistic linear logic as well as a sound and complete categorical...”
    Get full text
  14. 14
    Semantic frameworks for complexity
    by Gurr, Douglas J.
    Published 1990
    “...'s categorical semantics of computations, and this connection is exploited to study complexity as a monad...”
    Get full text
  15. 15
    Notions of category theory in functional programming
    by Gammon, Shauna C. A.
    Published 2011
    “... languages, with a primary focus on monads in Haskell. First, we explore E. Moggi's work in categorical...”
    Get full text
  16. 16
    Internal Wiring of Cartesian Verbs and Prepositions
    by Bob Coecke, Martha Lewis, Dan Marsden
    Published 2018-11-01
    “... of word meanings. However, CCDS has a much richer logical structure than plain categorical semantics...”
    Get full text
    Article
  17. 17
    A Novel Categorical Approach to Semantics of Relational First-Order Logic
    “... the categorical semantics in the RISCAL (RISC Algorithm Language) system which allows us to validate the core...”
    Get full text
    Article
  18. 18
    A Proof and Formalization of the Initiality Conjecture of Dependent Type Theory
    by de Boer, Menno
    Published 2020
    “... these type constructors and with type of elements (ELi(a))iєN. We employ the categorical semantics...”
    Get full text
    Others
  19. 19
    Nominal lambda calculus
    by Nebel, Frank
    Published 2015
    “...) categorical semantics and a categorical type theory correspondence. Moreover, in pursuit of a categorical...”
    Get full text
  20. 20
    Quantifiers and duality
    by Reggio, Luca
    Published 2018
    “... propositional logic and in the study of uniform interpolation. Third, in categorical topology and categorical...”
    Get full text
Search Tools: Get RSS Feed — Email this Search