Preface: Special Issue on Homotopy Type Theory and Univalent Foundations.

Peter LeFanu Lumsdaine Nicolas Tabareau

Published in: J. Autom. Reason. (2019)

Keyphrases

special issue
international journal
ai edam
applied intelligence
ecml pkdd
international workshop
special section
theoretical framework
general theory
databases
future directions
recent progress
information management
data analysis
computer science
case study
artificial intelligence
neural network