1. Aldwinckle J., On the proof theory of model checking (to appear).
2. A transformation system for developing recursive programs;Burstall;Journal of the Association for Computing Machinery,1997
3. Cockett R. and S. Lack, Restriction categories II: Partial map classification, Theoretical Computer Science (to appear).
4. Cockett R. and D. Spencer, Strong categorical datatypes I, in: R. A. G. Seely, editor, International Meeting on Category Theory 1991, Canadian Mathematical Society Proceedings (1992), pp. 141–169.
5. Strong categorical datatypes II: A term logic for categorical programming;Cockett;Theoretical Computer Science,1995