research
∙
06/25/2021
A logical framework with a graph meta-language
We conjecture that the relative unpopularity of logical frameworks among...
research
∙
05/06/2019