L ax F: Side Conditions and External Evidence as Monads.

Furio Honsell, Luigi Liquori, Ivan Scagnetto

Browse the full MFCS paper archive.