Work

A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories

Year: 2014

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-319-06251-8_16

Authors: Koki Nishizawa, Hitoshi Furusawa

Institutions: Kanagawa University, Kagoshima University

Language: English

Topic: Advanced Algebra and Logic

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Japan Society for the Promotion of Science

Award: Quasiequational system for concurrency

OpenAlex ID: W962448886

FWCI:

Cites: 9

Cited by:

Related to: 10