Sign in
Big Step Normalisation for Type Theory.
Thorsten Altenkirch
Colin Geniet
Published in:
TYPES (2019)
Keyphrases
</>
post processing
theoretical framework
databases
similarity measure
knowledge discovery
preprocessing step