ionchy
/
CIS6700-Spring2025
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Formatting

This commit is contained in:
Jonathan Chan 2025-04-21 14:32:55 -04:00
parent 5d4df59b92
commit b24ea900cd
3 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
cbpv.mng
View File

@ -32,9 +32,10 @@
\newcommand{\apriori}{\textit{a priori}\@\xspace} \newcommand{\apriori}{\textit{a priori}\@\xspace}
\newcommand{\aposteriori}{\textit{a posteriori}\@\xspace} \newcommand{\aposteriori}{\textit{a posteriori}\@\xspace}
\title{Strong Normalization for \\ Simply Typed Call-by-Push-Value} \title{Strong Normalization for \\ Simply Typed Call-by-Push-Value \\[0.5\baselineskip]
\large CIS 6700: Type Systems}
\author{Jonathan Chan} \author{Jonathan Chan}
\date{} \date{8 May 2025}
\inputott{rules} \inputott{rules}

BIN
cbpv.pdf (Stored with Git LFS)
View File

Binary file not shown.

5
cbpv.tex
View File

@ -32,9 +32,10 @@
\newcommand{\apriori}{\textit{a priori}\@\xspace} \newcommand{\apriori}{\textit{a priori}\@\xspace}
\newcommand{\aposteriori}{\textit{a posteriori}\@\xspace} \newcommand{\aposteriori}{\textit{a posteriori}\@\xspace}
\title{Strong Normalization for \\ Simply Typed Call-by-Push-Value} \title{Strong Normalization for \\ Simply Typed Call-by-Push-Value \\[0.5\baselineskip]
\large CIS 6700: Type Systems}
\author{Jonathan Chan} \author{Jonathan Chan}
\date{} \date{8 May 2025}
\inputott{rules} \inputott{rules}