A Bicategorical Model for Finite Nondeterminism

DOI10.4230/LIPICS.FSCD.2021.10MaRDI QIDQ6159925zbMATH OpenOpenAlexFDO

Authors Zeinab Galal

Publication date 23 June 2023

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2021/14248/pdf/LIPIcs-FSCD-2021-10.pdf/

zbMATH Keywords

finitenessspecies of structuresdifferential linear logicbicategorical semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx) Computer science (68-XX)

Recommendations

• Bicategorical semantics for nondeterministic computation
• scientific article; zbMATH DE number 1231470
• A dichotomy in classifying quantifiers for finite models
• Finite non-deterministic semantics for some modal systems
• scientific article; zbMATH DE number 4174894
• scientific article; zbMATH DE number 1305004
• Categorical models for non-extensional λ-calculi and combinatory logic
• Nonarithmetical ℵ₀-categorical theories with recursive models
• A categorical study on the finiteness of specifications
• Bisimulational categoricity

Cited in

(5)

• A representable approach to finite nondeterminism
• On the notion of bimodel for functorial semantics
• scientific article; zbMATH DE number 1231470 (Why is no real title available?)
• Modelling higher-order dual nondeterminacy
• Finiteness spaces and generalized power series

This page was built for publication: A Bicategorical Model for Finite Nondeterminism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6159925)