scientific article; zbMATH DE number 1070619

From MaRDI portal

Publication:4357059

Jump to:navigation, search

zbMath0882.68086MaRDI QIDQ4357059

Peter Aczel

Publication date: 7 October 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

operational semantics final coalgebra initial algebra

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (2)

GR-friendly description of quantum systems ⋮ Omitting types in an intermediate logic

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4357059&oldid=18339033"