\chapter{Elimination of negation in a LF}
\input{cconew}
\input{tensor}
\section{Operational Semantics}