Commit 6f29aa50 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

formatting

parent 0859b00a
......@@ -381,7 +381,7 @@ of rules.
{ \pvdash \Gamma e t \varpi.0:\arrow{t_1}{t_2} \\ \pvdash \Gamma e t \varpi:t_2'}
{ \pvdash \Gamma e t \varpi.1:\neg t_1 }
{ t_2\land t_2' \simeq \Empty }
\vspace{-1mm}\\
\ifsubmission\vspace{-1.2mm}\\\else\end{mathpar}\begin{mathpar}\fi
\Infer[PAppL]
{ \pvdash \Gamma e t \varpi.1:t_1 \\ \pvdash \Gamma e t \varpi:t_2 }
{ \pvdash \Gamma e t \varpi.0:\neg (\arrow {t_1} {\neg t_2}) }
......
......@@ -113,7 +113,7 @@
\author{Mickaël Laurent}
\affiliation{
\institution{ENS Paris Saclay}
\institution{École Normale Supérieure Paris-Saclay}
\country{France}
}
......@@ -267,7 +267,7 @@
This research was partially supported by Labex DigiCosme (project ANR-11-LABEX-0045-
DIGICOSME) operated by ANR as part of the program «Investissement d'Avenir» Idex
Paris-Saclay (ANR-11-IDEX-0003-02) and by a Google PhD fellowship.
Paris-Saclay (ANR-11-IDEX-0003-02) and by a Google PhD fellowship for the second author.
\end{acks}
......
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