On Strong Normalization of the Calculus of Constructions with Type-Based Termination.

Benjamin Grégoire Jorge Luis Sacchini

Published in: LPAR (Yogyakarta) (2010)

Keyphrases

type checking
term rewriting
normalization method
database programming language
database
artificial intelligence
database query languages
real time
neural network
information retrieval
social networks
query processor
automated deduction