Skip to main content Accessibility help
×
Home

A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller’s 60th birthday

Volume 29 - Special Issue 8 - September 2019

Editorial Preface

Paper