Matching Modulo Superdevelopments Application to Second-Order Matching.

Germain Faure

Browse the full LPAR paper archive.