A Bicategorical Model for Finite Nondeterminism
type: Item
instance of: scholarly article
author: Zeinab Galal
publication date: 2023-06-23T00:00:00Z
Mathematics Subject Classification ID: 68-XX
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7700615
zbMATH Keywords: differential linear logic
zbMATH Keywords: species of structures
zbMATH Keywords: finiteness
zbMATH Keywords: bicategorical semantics
MaRDI profile type: Publication
full work available at URL: LIPIcs-FSCD-2021-10.pdf
OpenAlex ID: W3183674410
title: A Bicategorical Model for Finite Nondeterminism
DOI: 10.4230/LIPICS.FSCD.2021.10
Recommended article: Bicategorical semantics for nondeterministic computation
Recommended article: Q4222772
Recommended article: A dichotomy in classifying quantifiers for finite models
Recommended article: Finite non-deterministic semantics for some modal systems
Recommended article: Q3199393
Recommended article: Q4251927
Recommended article: Categorical models for non-extensional λ-calculi and combinatory logic
Recommended article: Nonarithmetical ℵ0-categorical theories with recursive models
Recommended article: A categorical study on the finiteness of specifications
Recommended article: Q5104717
description: scientific article; zbMATH DE number 7700615