default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 125 matches
- 2024
- Jean-Simon Pacaud Lemay:
A Brief Survey on the Categorical Semantics for Geometry of Interaction In Memory of Phil Scott. ACM SIGLOG News 11(2): 4-33 (2024) - 2023
- Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair:
Strategies as Resource Terms, and Their Categorical Semantics. FSCD 2023: 13:1-13:22 - Shin-ya Katsumata, Xavier Rival, Jérémy Dubut:
A Categorical Framework for Program Semantics and Semantic Abstraction. MFPS 2023 - Younesse Kaddar, Sam Staton:
A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories. MFPS 2023 - Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair:
Strategies as Resource Terms, and their Categorical Semantics. CoRR abs/2302.04685 (2023) - David J. Pym, Eike Ritter, Edmund Robinson:
Categorical Proof-Theoretic Semantics. CoRR abs/2302.09031 (2023) - Pietro Barbiero, Stefano Fioravanti, Francesco Giannini, Alberto Tonda, Pietro Liò, Elena Di Lavore:
Categorical Foundations of Explainable AI: A Unifying Formalism of Structures and Semantics. CoRR abs/2304.14094 (2023) - Chris Barrett:
On the Simply-Typed Functional Machine Calculus: Categorical Semantics and Strong Normalisation. CoRR abs/2305.16073 (2023) - 2022
- Pedro H. Azevedo de Amorim:
A Sampling-Aware Interpretation of Linear Logic: Syntax and Categorical Semantics. CoRR abs/2202.00142 (2022) - Razin A. Shaikh, Stefano Gogioso:
Categorical Semantics for Feynman Diagrams. CoRR abs/2205.00466 (2022) - Georgios Bakirtzis, Michail Savvas, Ufuk Topcu:
Categorical semantics of compositional reinforcement learning. CoRR abs/2208.13687 (2022) - Mateusz Urbanczyk:
Categorical Semantics for Model Comparison Games for Description Logics. CoRR abs/2211.09655 (2022) - 2021
- Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato:
Higher-order probabilistic adversarial computations: categorical semantics and program logics. Proc. ACM Program. Lang. 5(ICFP): 1-30 (2021) - Georgios Bakirtzis, Cody H. Fleming, Christina Vasilakopoulou:
Categorical Semantics of Cyber-Physical Systems Theory. ACM Trans. Cyber Phys. Syst. 5(3): 32:1-32:32 (2021) - Jean-Pierre Müller:
Towards a Categorical Semantics of DEVS. ANNSIM 2021: 1-12 - Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato:
Graded Hoare Logic and its Categorical Semantics. ESOP 2021: 234-263 - Yoji Fukihara, Shin-ya Katsumata:
Generalized Bounded Linear Logic and its Categorical Semantics. FoSSaCS 2021: 226-246 - Ken Sakayori, Takeshi Tsukada:
Output Without Delay: A π-Calculus Compatible with Categorical Semantics. FSCD 2021: 32:1-32:22 - Yoshihiro Maruyama:
Higher-Order Fuzzy Logics and their Categorical Semantics: Higher-Order Linear Completeness and Baaz Translation via Substructural Tripos Theory. FUZZ-IEEE 2021: 1-6 - Samuel Lavoie-Marchildon, Faruk Ahmed, Aaron C. Courville:
Integrating Categorical Semantics into Unsupervised Domain Translation. ICLR 2021 - Fabrizio Romano Genovese, Fosco Loregiàn, Daniele Palombi:
A Categorical Semantics for Bounded Petri Nets. ACT 2021: 59-71 - Fabrizio Genovese, Jelle Herold:
A Categorical Semantics for Hierarchical Petri Nets. GCM@STAF 2021: 51-68 - Kostia Chardonnet, Louis Lemonnier, Benoît Valiron:
Categorical Semantics of Reversible Pattern-Matching. MFPS 2021: 18-33 - Sean Tull:
A Categorical Semantics of Fuzzy Concepts in Conceptual Spaces. ACT 2021: 306-322 - Jérémie Koenig:
Grounding Game Semantics in Categorical Algebra. ACT 2021: 368-383 - Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato:
Higher-order probabilistic adversarial computations: Categorical semantics and program logics. CoRR abs/2107.01155 (2021) - Matej Dostál, Mehrnoosh Sadrzadeh, Gijs Wijnholds:
Fuzzy Generalised Quantifiers for Natural Language in Categorical Compositional Distributional Semantics. CoRR abs/2109.11227 (2021) - 2020
- William John Gowers:
The crossroads of categorical algebra and game semantics: an investigation into the application of Kleisli categories and related constructions to the study of Full Abstraction for nondeterministic effects in Algol-like languages. University of Bath, Somerset, UK, 2020 - Simon Cho:
Categorical Semantics of Metric Spaces and continuous Logic. J. Symb. Log. 85(3): 1044-1078 (2020) - Wolfgang Schreiner, William Steingartner, Valerie Novitzká:
A Novel Categorical Approach to Semantics of Relational First-Order Logic. Symmetry 12(10): 1584 (2020)
skipping 95 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-09-22 04:15 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint