A Conditional Logical Framework.

Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto

Browse the full LPAR paper archive.