Algorithmic solution of higher-type equations (2011)

by Martín Escardó