scientific article; zbMATH DE number 7700628

From MaRDI portal

Revision as of 06:46, 10 July 2024 by Import240710060729 (talk | contribs) (Created automatically from import240710060729)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:6159939

Jump to:navigation, search

DOI10.4230/lipics.fscd.2021.23arXiv2106.12849MaRDI QIDQ6159939

Ugo Dal Lago, Francesco Gavazzo

Publication date: 23 June 2023

Full work available at URL: https://arxiv.org/abs/2106.12849

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

zbMATH Keywords

full abstraction linearity algebraic effects program equivalence

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx) Computer science (68-XX)

This page was built for publication:

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