Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae (2009)

by Paola Bruscoli , Alessio Guglielmi , Tom Gundersen , Michel Parigot
Citations:8 - 4 self