Skip to content

Constructive Final Semantics of Finite Bags.

Philipp Joram, Niccol Veltri

VenueBITP
Year2023
ProceedingsITP

Browse the full ITP paper archive.