FLOPS 2022
Tue 10 - Thu 12 May 2022 Online
Shin-ya Katsumata

Registered user since Thu 3 Mar 2016

Name:Shin-ya Katsumata
Country:Japan
Affiliation:National Institute of Informatics
Research interests:Programming language semantics, Type system

Contributions

FLOPS 2022 Weakest Preconditions in Fibrations
Show activities from other conferences

FLOPS 2022-profile
View general profile