Managing scope ambiguities in Glue via multistage proving

Jamie Y. Findlay, Dag T. T. Haug
January 2022
Cite PDF URL
Type
Conference paper
Publication
Proceedings of the LFG'22 Conference

Add the full text or supplementary notes for the publication here using Markdown formatting.