Work

Fan-Causality and Uniform Continuity on Final Coalgebras

Year: 2026

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-032-22469-9_3

Authors: Henning Basold, Tanjona Ralaivaosaona, Jurriaan Rot

Institutions: Leiden University, Radboud University Nijmegen

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W7147006690

FWCI:

Cites: 27

Cited by:

Related to: