A Generic Normalisation Proof for Pure Type Systems.

Paul-André Melliès Benjamin Werner

Published in: TYPES (1996)

Keyphrases

management system
search algorithm
distributed systems
learning systems
complex systems
neural network
high level
expert systems
mobile devices
evolutionary algorithm
information retrieval systems
intelligent systems
building blocks
retrieval systems
theorem prover
computing systems