Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity.

Hugo Fre, Emmanuel Hainry, Mathieu Hoyrup, Romain Pchoux

Browse the full ISAAC paper archive.