Electronic Notes in Theoretical Informatics and Computer Science
Source
ISSN 2969-2431
Source type: journal
Publisher:
Fully open access: No
In DOAJ: No
2yr mean citedness: 0.264
H-index: 3
I10-index:
Works count:
Citations count:
Semantics of multimodal adjoint type theory
2023 · Michael Shulman · Electronic Notes in Theoretical Informatics and Computer Science
Data Layout from a Type-Theoretic Perspective
2023 · Henry DeYoung, Frank Pfenning · Electronic Notes in Theoretical Informatics and Computer Science
Free Commutative Monoids in Homotopy Type Theory
2023 · Vikraman Choudhury, Marcelo Fiore · Electronic Notes in Theoretical Informatics and Computer Science