Interpolation property for bicartesian closed categories

Djordje Cubric. Interpolation property for bicartesian closed categories. Arch. Math. Log., 33(4):291-319, 1994. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.