Proving Strong Normalization of CC by Modifying Realizability Semantics.

Thorsten Altenkirch

Published in: TYPES (1993)

Keyphrases

formal semantics
preprocessing
semantic information
operational semantics
real time
high level
default reasoning
semantic representation
proof theory
search algorithm
co occurrence
logic programming