Login / Signup

A Theory of Finite Maps.

Graham CollinsDon Syme
Published in: TPHOLs (1995)
Keyphrases