ETAPS 2019 (series) / Abhishek De
Not registered as user yet
Name: Abhishek De
Affiliation: IRIF, CNRS, France
Personal website: http://www.irif.fr/~ade
Contributions
GaLoP 2019 | Towards Circular Proof Nets | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ETAPS 2019-profile
View general profile
View general profile