A Presentation at IPSJ-PRO “A Reformalization of Quantified Types Based on Coeffect Calculus”
The following research will be presented at the IPSJ-PRO (124th, Nagoya).
“A Reformalization of Quantified Types Based on Coeffect Calculus”
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara