„Categorical Semantics“

Suchergebnisse

1.000+ Treffer

• Extravagant “fake” morphemes in Dutch. Morphological productivity, semantic profiles and categorical flexibility
  Goethem, Kristel ˜vanœ ; Norde, Muriel
• Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic
  Díaz-Caro, Alejandro ; Malherbe, Octavio 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Categorical semantics and composition of tree transducers
  Jürgensen, Claus
• Scott’s Representation Theorem and the Univalent Karoubi Envelope
  van der Leer, Arnoud ; Wullaert, Kobe ; Ahrens, Benedikt 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Logical Foundations of Computer Science – International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
  Artemov, Sergej N. ; Nerode, Anil 2015 Springer International Publishing
• Functorial Models of Differential Linear Logic
  Kerjean, Marie ; Maestracci, Valentin ; Rogers, Morgan 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Categorical Continuation Semantics for Concurrency
  Breuvart, Flavien ; Paquet, Hugo 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Categorical Models of Subtyping
  Coraglia, Greta ; Emmenegger, Jacopo 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Two-Dimensional Kripke Semantics I: Presheaves
  Kavvos, G. A. 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reverse Derivative Categories
  Cockett, Robin ; Cruttwell, Geoffrey ; Gallagher, Jonathan ; Lemay, Jean-Simon Pacaud ; MacAdam, Benjamin ; Plotkin, Gordon ; Pronk, Dorette 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Completeness of Graphical Languages for Mixed States Quantum Mechanics (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Carette, Titouan ; Jeandel, Emmanuel ; Perdrix, Simon ; Vilmart, Renaud 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• From Proofs to Computation in Geometric Logic and Generalizations (Dagstuhl Seminar 24021)
  Blechschmidt, Ingo ; Ishihara, Hajime ; Schuster, Peter M. ; Buriola, Gabriele
• Classical Linear Logic in Perfect Banach Lattices
  Azevedo de Amorim, Pedro H. ; Witzman, Leon ; Kozen, Dexter 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Geometry of abstraction in quantum computation
  Pavlovic, Dusko
• Strategies as Resource Terms, and Their Categorical Semantics
  Blondeau-Patissier, Lison ; Clairambault, Pierre ; Vaux Auclair, Lionel 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Galois Connecting Call-by-Value and Call-by-Name
  McDermott, Dylan ; Mycroft, Alan 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Concrete Categorical Model of a Quantum Circuit Description Language with Measurement
  Lee, Dongho ; Perrelle, Valentin ; Valiron, Benoît ; Xu, Zhaowei 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Open Algebraic Path Problem
  Master, Jade 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Closure Hyperdoctrines
  Castelnovo, Davide ; Miculan, Marino 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Output Without Delay: A π-Calculus Compatible with Categorical Semantics
  Sakayori, Ken ; Tsukada, Takeshi 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik