Combinatories, complexity, and logic :proceedings of DMTCS'96 D.S. Bridges... [et al]. - DMTC '06 (1996) : Auckland, N.Z.) (1997)