Carsten Butz Ulrich Kohlenbach Søren Riis Glynn Winskel Preface. 1-2 2000 104 Ann. Pure Appl. Logic 1-3 db/journals/apal/apal104.html#ButzKRW00