Partial Higher-Order Specifications.

Egidio Astesiano, Maura Cerioli

Browse the full MFCS paper archive.