Mathematical Structures in Computer Science

Miscellaneous

Preface

S. Abramsky, P.-L. Curien, A. Pitts and E. G. Wagner