Type systems for polynomial-time computation, Habilitation thesis (1999)

by M Hofmann