Human-Computer Interaction; Type Theory; Theoretical Computer Science; Logical Frameworks

Preface

Published with Wowchemy — the free, open source website builder that empowers creators.