Pseudo functorial semantics. Preprint, available at www.kurims.kyoto-u.ac.jp/˜ichiro (0)

by I Hasuo