scientific article; zbMATH DE number 7830361

From MaRDI portal

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

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

Publication:6124933

Jump to:navigation, search

DOI10.4230/lipics.csl.2022.5MaRDI QIDQ6124933

Pierre-Marie Pédrot, Assia Mahboubi, Unnamed Author

Publication date: 10 April 2024

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

zbMATH Keywords

continuity type theory syntactic model

Mathematics Subject Classification ID

Logic in computer science (03B70)

This page was built for publication:

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