학술논문
Normalization for fitch-style modal calculi
Document Type
Article
Author
Source
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 29 August 2022, 6(ICFP))
Subject
Language
English
ISSN
24751421