Preface

T. Altenkirch, K. Chaudhuri, G. Dowek, A. Felty, A. Filinski, Marino Miculan, F. Rabe, W. Ricciotti, C. Coen, K. Sojakova
2017-01-01
Cite
Type
Book section
Publication
ACM International Conference Proceeding Series
Human-Computer Interaction; Type Theory; Theoretical Computer Science; Logical Frameworks

Related