1. [Čub94] Djordje Čubrić. Interpolation property for bicartesian closed categories. Archive for Mathematical Logic, 33:291–319, 1994.
2. Lect Notes Comput Sci;d. P. Groote de,1999
3. [How80] W. A. Howard. The formulae-as-types notion of construction. In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 479–490. Academic Press, 1980.
4. [JM99] Felix Joachimski and Ralph Matthes. Short proofs of normalization for the simply-typed lambda-calculus, permutative conversions and Gödel’s T. Archive for Mathematical Logic, 1999. Accepted for publication.
5. Lect Notes Comput Sci;J. F. Joachimski,2000