학술논문
BEYOND NOTATIONS: HYGIENIC MACRO EXPANSION FOR THEOREM PROVING LANGUAGES
Document Type
Article
Author
Source
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 2022, 18(2))
Subject
Language
English
ISSN
18605974