👤 Norihiro Kamide

Extending resource-aware logics. Proof systems, semantics and applications. Norihiro Kamide