On the Information Carried by Programs about the Objects They Compute.

Mathieu Hoyrup, Cristobal Rojas

Browse the full STACS paper archive.