1 search result for "author:"Junyoung Clare Jang""
Showing 1 - 1
-
Implementation of contextual modal logic for reasoning with higher-order abstract syntax1.1.2GPL-3.0-onlyUsed by 0 other packages22 Jul 2024