HIGHER-ORDER MATCHING MODULO (SUPER)DEVELOPMENTS APPLICATIONS TO SECOND-ORDER MATCHING (2009)

by Germain Faure
Citations:3 - 0 self