Confluence Results for the Pure Strong Categorical Logic CCL: lambda-Calculi as Subsystems of CCL.

Thérèse Hardin

Published in: Theor. Comput. Sci. (1989)

Keyphrases

sequent calculi
rewrite systems
logic programming
modal logic
genetic algorithm
fixed point
classical logic
predicate logic
data sets
set theory
asynchronous circuits
proof theory