Focus and Higher-Order Unification

Claire Gardent | Michael Kohlhase |

Paper Details:


Year: 1996

Venue: COLING |