Extensional and Intensional Semantic Universes
From MaRDI portal
Publication:5145281
DOI10.1145/3209108.3209206zbMath1452.03032OpenAlexW2798011798MaRDI QIDQ5145281
Publication date: 20 January 2021
Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3209108.3209206
Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Type theory (03B38)
Related Items (1)
This page was built for publication: Extensional and Intensional Semantic Universes
