Login / Signup
Mathematical Structures in Dependent Type Theory (Invited Talk).
Assia Mahboubi
Published in:
CSL (2021)
Keyphrases
</>
invited talk
theoretical basis
mathematical theory
selected papers
carefully reviewed and selected from submissions
book constitutes the refereed proceedings
databases
real world
general theory
mathematical modeling
computer algebra
information retrieval
e learning