An elementary proof of strong normalization for intersection types.

Silvio Valentini

Published in: Arch. Math. Log. (2001)

Keyphrases

databases
database
theorem proving
linear logic
data sets
neural network
artificial intelligence
web services
high level
digital libraries
multiresolution
theorem prover