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

bicategorical semanticsdifferential linear logicfinitenessspecies of structures

Mathematics Subject Classification ID

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

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

(6)

• On the notion of bimodel for functorial semantics
• A representable approach to finite nondeterminism
• Finiteness spaces and generalized power series
• scientific article; zbMATH DE number 1231470 (Why is no real title available?)
• Tropical mathematics and the lambda-calculus I: metric and differential analysis of effectful programs
• Modelling higher-order dual nondeterminacy

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)