Simple Types for Probabilistic Termination.

Willem Heijltjes, Georgina Majury

Browse the full CSL paper archive.