Reasoning with Higher Order Partial Functions.

Antonio Gavilanes-Franco, Francisca Lucio-Carrasco, Mario Rodrguez-Artalejo

Browse the full CSL paper archive.