Ashish Kumar Barnawal

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Machine Learning

Top Venues

Publications

Thiago Felicissimo, Frédéric Blanqui, Ashish Kumar Barnawal
Translating Proofs from an Impredicative Type System to a Predicative One. CSL (2023)
Thiago Felicissimo, Frédéric Blanqui, Ashish Kumar Barnawal
Translating proofs from an impredicative type system to a predicative one. CoRR (2022)