Strongly Normalising Cut-Elimination with Strict Intersection Types.

Steffen van Bakel

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

cut elimination
linear logic
sequent calculus
expert systems
probabilistic model
dimensionality reduction
random variables
wide class