A Certifying Extraction with Time Bounds from Coq to Call-By-Value Lambda Calculus.

Yannick Forster Fabian Kunze

Published in: ITP (2019)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database
information extraction
database query languages
databases
database systems
complex objects