Commit e3ed8405 authored by Samuel Ben Hamou's avatar Samuel Ben Hamou
Browse files

Enrichissement du lambda calcul avec le faux.

parent bdb3b61d
......@@ -276,6 +276,8 @@ Cette partie reprend les concepts et les constructions du cours de $\lambda$-cal
\subsubsection{Faux et opérateur $\nabla$}
% la négation se déduit facilement du faux : non A = A -> faux
\subsubsection{Conjonction : couples et projections}
......@@ -334,4 +336,8 @@ Inductive Pr (l:logic) : sequent -> Prop :=
\section{Preuve de \texttt{ZeroRight} : avant-après}\label{beforeafter_zeroright}
\section{Syntaxe et règles de typage du $\lambda$-calcul utilisé}
% syntaxe des termes et des types + règles de typage
\end{document}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment