Fundamentals of compositional rewriting theory

A foundational theory of compositional categorical rewriting theory is presented, based on a collection of fibration-like properties that collectively induce and intrinsically structure the large collection of lemmata used in the proofs of theorems such as concurrency and associativity. The resultin...

Celý popis

Podrobná bibliografie

Vydáno v:	Journal of logical and algebraic methods in programming Ročník 135; s. 100893
Hlavní autoři:	Behr, Nicolas, Harmer, Russ, Krivine, Jean
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.10.2023 Elsevier
Témata:	Compositional rewriting theory Computer Science Double categorical semantics Double- and Sesqui-Pushout rewriting Fibrational structures Logic in Computer Science Fibrational structures Compositional rewriting theory Double categorical semantics Double- and Sesqui-Pushout rewriting
ISSN:	2352-2208
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!