Compare commits
No commits in common. "1fd30f15b867465abcef02be808f0190305e2852" and "a702a6a07277ccd4b21d6def6e28fbcb131f1322" have entirely different histories.
1fd30f15b8
...
a702a6a072
3
.gitmodules
vendored
3
.gitmodules
vendored
@ -1,3 +0,0 @@
|
|||||||
[submodule "TexCommon"]
|
|
||||||
path = TexCommon
|
|
||||||
url = git@git8.cs.fau.de:public-repos/TexCommon.git
|
|
||||||
@ -1 +0,0 @@
|
|||||||
Subproject commit 0046b8ccc5c6c351a92af3b8517c1394b148dd39
|
|
||||||
257
draft/.gitignore
vendored
257
draft/.gitignore
vendored
@ -1,257 +0,0 @@
|
|||||||
# ---> TeX
|
|
||||||
## Core latex/pdflatex auxiliary files:
|
|
||||||
*.aux
|
|
||||||
*.lof
|
|
||||||
*.log
|
|
||||||
*.lot
|
|
||||||
*.fls
|
|
||||||
*.out
|
|
||||||
*.toc
|
|
||||||
*.fmt
|
|
||||||
*.fot
|
|
||||||
*.cb
|
|
||||||
*.cb2
|
|
||||||
.*.lb
|
|
||||||
|
|
||||||
## Intermediate documents:
|
|
||||||
*.dvi
|
|
||||||
*.xdv
|
|
||||||
*-converted-to.*
|
|
||||||
# these rules might exclude image files for figures etc.
|
|
||||||
# *.ps
|
|
||||||
# *.eps
|
|
||||||
# *.pdf
|
|
||||||
|
|
||||||
## Generated if empty string is given at "Please type another file name for output:"
|
|
||||||
.pdf
|
|
||||||
|
|
||||||
## Bibliography auxiliary files (bibtex/biblatex/biber):
|
|
||||||
*.bbl
|
|
||||||
*.bcf
|
|
||||||
*.blg
|
|
||||||
*-blx.aux
|
|
||||||
*-blx.bib
|
|
||||||
*.run.xml
|
|
||||||
|
|
||||||
## Build tool auxiliary files:
|
|
||||||
*.fdb_latexmk
|
|
||||||
*.synctex
|
|
||||||
*.synctex(busy)
|
|
||||||
*.synctex.gz
|
|
||||||
*.synctex.gz(busy)
|
|
||||||
*.pdfsync
|
|
||||||
|
|
||||||
## Build tool directories for auxiliary files
|
|
||||||
# latexrun
|
|
||||||
latex.out/
|
|
||||||
|
|
||||||
## Auxiliary and intermediate files from other packages:
|
|
||||||
# algorithms
|
|
||||||
*.alg
|
|
||||||
*.loa
|
|
||||||
|
|
||||||
# achemso
|
|
||||||
acs-*.bib
|
|
||||||
|
|
||||||
# amsthm
|
|
||||||
*.thm
|
|
||||||
|
|
||||||
# beamer
|
|
||||||
*.nav
|
|
||||||
*.pre
|
|
||||||
*.snm
|
|
||||||
*.vrb
|
|
||||||
|
|
||||||
# changes
|
|
||||||
*.soc
|
|
||||||
|
|
||||||
# comment
|
|
||||||
*.cut
|
|
||||||
|
|
||||||
# cprotect
|
|
||||||
*.cpt
|
|
||||||
|
|
||||||
# elsarticle (documentclass of Elsevier journals)
|
|
||||||
*.spl
|
|
||||||
|
|
||||||
# endnotes
|
|
||||||
*.ent
|
|
||||||
|
|
||||||
# fixme
|
|
||||||
*.lox
|
|
||||||
|
|
||||||
# feynmf/feynmp
|
|
||||||
*.mf
|
|
||||||
*.mp
|
|
||||||
*.t[1-9]
|
|
||||||
*.t[1-9][0-9]
|
|
||||||
*.tfm
|
|
||||||
|
|
||||||
#(r)(e)ledmac/(r)(e)ledpar
|
|
||||||
*.end
|
|
||||||
*.?end
|
|
||||||
*.[1-9]
|
|
||||||
*.[1-9][0-9]
|
|
||||||
*.[1-9][0-9][0-9]
|
|
||||||
*.[1-9]R
|
|
||||||
*.[1-9][0-9]R
|
|
||||||
*.[1-9][0-9][0-9]R
|
|
||||||
*.eledsec[1-9]
|
|
||||||
*.eledsec[1-9]R
|
|
||||||
*.eledsec[1-9][0-9]
|
|
||||||
*.eledsec[1-9][0-9]R
|
|
||||||
*.eledsec[1-9][0-9][0-9]
|
|
||||||
*.eledsec[1-9][0-9][0-9]R
|
|
||||||
|
|
||||||
# glossaries
|
|
||||||
*.acn
|
|
||||||
*.acr
|
|
||||||
*.glg
|
|
||||||
*.glo
|
|
||||||
*.gls
|
|
||||||
*.glsdefs
|
|
||||||
|
|
||||||
# gnuplottex
|
|
||||||
*-gnuplottex-*
|
|
||||||
|
|
||||||
# gregoriotex
|
|
||||||
*.gaux
|
|
||||||
*.gtex
|
|
||||||
|
|
||||||
# htlatex
|
|
||||||
*.4ct
|
|
||||||
*.4tc
|
|
||||||
*.idv
|
|
||||||
*.lg
|
|
||||||
*.trc
|
|
||||||
*.xref
|
|
||||||
|
|
||||||
# hyperref
|
|
||||||
*.brf
|
|
||||||
|
|
||||||
# knitr
|
|
||||||
*-concordance.tex
|
|
||||||
# TODO Comment the next line if you want to keep your tikz graphics files
|
|
||||||
*.tikz
|
|
||||||
*-tikzDictionary
|
|
||||||
|
|
||||||
# listings
|
|
||||||
*.lol
|
|
||||||
|
|
||||||
# makeidx
|
|
||||||
*.idx
|
|
||||||
*.ilg
|
|
||||||
*.ind
|
|
||||||
*.ist
|
|
||||||
|
|
||||||
# minitoc
|
|
||||||
*.maf
|
|
||||||
*.mlf
|
|
||||||
*.mlt
|
|
||||||
*.mtc[0-9]*
|
|
||||||
*.slf[0-9]*
|
|
||||||
*.slt[0-9]*
|
|
||||||
*.stc[0-9]*
|
|
||||||
|
|
||||||
# minted
|
|
||||||
_minted*
|
|
||||||
*.pyg
|
|
||||||
|
|
||||||
# morewrites
|
|
||||||
*.mw
|
|
||||||
|
|
||||||
# nomencl
|
|
||||||
*.nlg
|
|
||||||
*.nlo
|
|
||||||
*.nls
|
|
||||||
|
|
||||||
# pax
|
|
||||||
*.pax
|
|
||||||
|
|
||||||
# pdfpcnotes
|
|
||||||
*.pdfpc
|
|
||||||
|
|
||||||
# sagetex
|
|
||||||
*.sagetex.sage
|
|
||||||
*.sagetex.py
|
|
||||||
*.sagetex.scmd
|
|
||||||
|
|
||||||
# scrwfile
|
|
||||||
*.wrt
|
|
||||||
|
|
||||||
# sympy
|
|
||||||
*.sout
|
|
||||||
*.sympy
|
|
||||||
sympy-plots-for-*.tex/
|
|
||||||
|
|
||||||
# pdfcomment
|
|
||||||
*.upa
|
|
||||||
*.upb
|
|
||||||
|
|
||||||
# pythontex
|
|
||||||
*.pytxcode
|
|
||||||
pythontex-files-*/
|
|
||||||
|
|
||||||
# tcolorbox
|
|
||||||
*.listing
|
|
||||||
|
|
||||||
# thmtools
|
|
||||||
*.loe
|
|
||||||
|
|
||||||
# TikZ & PGF
|
|
||||||
*.dpth
|
|
||||||
*.md5
|
|
||||||
*.auxlock
|
|
||||||
|
|
||||||
# todonotes
|
|
||||||
*.tdo
|
|
||||||
|
|
||||||
# easy-todo
|
|
||||||
*.lod
|
|
||||||
|
|
||||||
# xcolor
|
|
||||||
*.xcp
|
|
||||||
|
|
||||||
# xmpincl
|
|
||||||
*.xmpi
|
|
||||||
|
|
||||||
# xindy
|
|
||||||
*.xdy
|
|
||||||
|
|
||||||
# xypic precompiled matrices
|
|
||||||
*.xyc
|
|
||||||
|
|
||||||
# endfloat
|
|
||||||
*.ttt
|
|
||||||
*.fff
|
|
||||||
|
|
||||||
# Latexian
|
|
||||||
TSWLatexianTemp*
|
|
||||||
|
|
||||||
## Editors:
|
|
||||||
# WinEdt
|
|
||||||
*.bak
|
|
||||||
*.sav
|
|
||||||
|
|
||||||
# Texpad
|
|
||||||
.texpadtmp
|
|
||||||
|
|
||||||
# LyX
|
|
||||||
*.lyx~
|
|
||||||
|
|
||||||
# Kile
|
|
||||||
*.backup
|
|
||||||
|
|
||||||
# KBibTeX
|
|
||||||
*~[0-9]*
|
|
||||||
|
|
||||||
# auto folder when using emacs and auctex
|
|
||||||
./auto/*
|
|
||||||
*.el
|
|
||||||
|
|
||||||
# expex forward references with \gathertags
|
|
||||||
*-tags.tex
|
|
||||||
|
|
||||||
# standalone packages
|
|
||||||
*.sta
|
|
||||||
|
|
||||||
@ -1,3 +0,0 @@
|
|||||||
export TEXINPUTS:=${TEXINPUTS}:.:../TexCommon
|
|
||||||
SRCNAME = draft
|
|
||||||
include ../TexCommon/Makefile
|
|
||||||
@ -1 +0,0 @@
|
|||||||
d41d8cd98f00b204e9800998ecf8427e -
|
|
||||||
BIN
draft/draft.pdf
BIN
draft/draft.pdf
Binary file not shown.
389
draft/draft.tex
389
draft/draft.tex
@ -1,389 +0,0 @@
|
|||||||
\documentclass[envcountsect,runningheads,draft]{llncs} % fails
|
|
||||||
|
|
||||||
\newcommand\hmmax{0}
|
|
||||||
\newcommand\bmmax{0}
|
|
||||||
|
|
||||||
\sloppy
|
|
||||||
|
|
||||||
\usepackage[nosumlimits,nointlimits,nonamelimits]{amsmath}
|
|
||||||
\usepackage{amssymb}
|
|
||||||
|
|
||||||
\usepackage[colorlinks,linkcolor={blue},citecolor={blue},urlcolor={red},breaklinks=true,final]{hyperref}
|
|
||||||
|
|
||||||
\renewcommand{\subsectionautorefname}{Section}%
|
|
||||||
|
|
||||||
\newcommand{\xTo}[1]{\,\xRightarrow{#1}\,}
|
|
||||||
%\newcommand{\lbs}[1]{\,\xRightarrow{#1}\,}
|
|
||||||
\newcommand{\dhat}[1]{\check{#1}}
|
|
||||||
|
|
||||||
\usepackage{lineno}
|
|
||||||
\linenumbers
|
|
||||||
|
|
||||||
\usepackage{etoolbox} %% <- for \cspreto, \csappto
|
|
||||||
|
|
||||||
%% Patch 'normal' math environments:
|
|
||||||
\newcommand*\linenomathpatch[1]{%
|
|
||||||
\cspreto{#1}{\linenomath}%
|
|
||||||
\cspreto{#1*}{\linenomath}%
|
|
||||||
\csappto{end#1}{\endlinenomath}%
|
|
||||||
\csappto{end#1*}{\endlinenomath}%
|
|
||||||
}
|
|
||||||
|
|
||||||
\linenomathpatch{equation}
|
|
||||||
\linenomathpatch{gather}
|
|
||||||
\linenomathpatch{multline}
|
|
||||||
\linenomathpatch{align}
|
|
||||||
\linenomathpatch{alignat}
|
|
||||||
\linenomathpatch{flalign}
|
|
||||||
|
|
||||||
\usepackage[T1]{fontenc}
|
|
||||||
\usepackage[final]{graphicx}
|
|
||||||
\usepackage{color}
|
|
||||||
%\renewcommand\UrlFont{\color{blue}\rmfamily}
|
|
||||||
%\urlstyle{rm}
|
|
||||||
%
|
|
||||||
|
|
||||||
\usepackage{etoolbox}
|
|
||||||
\usepackage{needspace}
|
|
||||||
|
|
||||||
\usepackage{hypcap}
|
|
||||||
\setcounter{tocdepth}{2}
|
|
||||||
|
|
||||||
\spnewtheorem{thm}{Theorem}[section]{\bfseries}{\itshape}
|
|
||||||
\spnewtheorem{cor}[thm]{Corollary}{\bfseries}{\itshape}
|
|
||||||
\spnewtheorem{lem}[thm]{Lemma}{\bfseries}{\itshape}
|
|
||||||
\spnewtheorem{prop}[thm]{Proposition}{\bfseries}{\itshape}
|
|
||||||
\spnewtheorem{defn}[thm]{Definition}{\bfseries}{\upshape}
|
|
||||||
\spnewtheorem{rem}[thm]{Remark}{\bfseries}{\upshape}
|
|
||||||
\spnewtheorem{notation}[thm]{Notation}{\bfseries}{\upshape}
|
|
||||||
\spnewtheorem{expl}[thm]{Example}{\bfseries}{\upshape}
|
|
||||||
\spnewtheorem{assumption}[thm]{Assumption}{\bfseries}{\upshape}
|
|
||||||
|
|
||||||
\renewenvironment{theorem}{\begin{thm}}{\end{thm}}
|
|
||||||
\renewenvironment{corollary}{\begin{cor}}{\end{cor}}
|
|
||||||
\renewenvironment{lemma}{\begin{lem}}{\end{lem}}
|
|
||||||
\renewenvironment{proposition}{\begin{prop}}{\end{prop}}
|
|
||||||
\renewenvironment{definition}{\begin{defn}}{\end{defn}}
|
|
||||||
\renewenvironment{remark}{\begin{rem}}{\end{rem}}
|
|
||||||
\renewenvironment{example}{\begin{expl}}{\end{expl}}
|
|
||||||
|
|
||||||
%\renewcommand{\sectionautorefname}{Section}%
|
|
||||||
%\renewcommand{\subsectionautorefname}{Section}%
|
|
||||||
|
|
||||||
\let\vec\relax %
|
|
||||||
\usepackage{accents}
|
|
||||||
\newcommand\thickbar[1]{\accentset{\rule{.55em}{.6pt}}{#1}}
|
|
||||||
|
|
||||||
\sloppy
|
|
||||||
|
|
||||||
\usepackage{wasysym} %Pouya: I added this package for auxillary compositions.
|
|
||||||
\usepackage{cancel}
|
|
||||||
\usepackage{tikz-cd}
|
|
||||||
\usetikzlibrary{arrows.meta}
|
|
||||||
\usetikzlibrary{decorations} % Required for all decorations
|
|
||||||
\usetikzlibrary{decorations.pathmorphing} % Specifically for 'zigzag'
|
|
||||||
|
|
||||||
\tikzset{
|
|
||||||
commutative diagrams/.cd,
|
|
||||||
arrow style = tikz,
|
|
||||||
diagrams = {>=stealth},
|
|
||||||
row sep = large,
|
|
||||||
column sep = huge
|
|
||||||
}
|
|
||||||
|
|
||||||
\usepackage{textcomp}
|
|
||||||
|
|
||||||
\usepackage{enumitem}
|
|
||||||
%\setlist{itemsep=0ex}
|
|
||||||
\setlist[itemize]{label={\small$\bullet$}}
|
|
||||||
|
|
||||||
\BeforeBeginEnvironment{align}{\noindent\ignorespaces}
|
|
||||||
|
|
||||||
\usepackage{todos}
|
|
||||||
\usepackage{proof}
|
|
||||||
\usepackage{xspace}
|
|
||||||
\usepackage{bm}
|
|
||||||
|
|
||||||
\input{catprog}
|
|
||||||
|
|
||||||
%\usepackage{pict2e}
|
|
||||||
|
|
||||||
%\DeclareRobustCommand{\pigpenA}{%
|
|
||||||
% \begingroup\setlength{\untlength}{1em}%
|
|
||||||
% \linethickness{.075em}%
|
|
||||||
% \begin{picture}(1,.8)
|
|
||||||
% \roundcap\roundjoin
|
|
||||||
% \polyline(.2,.2)(.8,.2)(.8,.8)
|
|
||||||
% \end{picture}%
|
|
||||||
% \endgroup
|
|
||||||
%}
|
|
||||||
|
|
||||||
\newcommand{\lbs}[1]{
|
|
||||||
\mathrel{%
|
|
||||||
\tikz{
|
|
||||||
\draw[double, double distance=.75pt, -{Stealth[inset=0pt, angle=75:4pt]}]
|
|
||||||
(0,.3) -- node[inner sep=0pt,above=1.75pt,midway] {\scriptsize$#1$} (.5,.3);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
\newcommand{\pbk}{\arrow[dr, phantom, "\text{\tiny\pigpenA}", pos=0.05]}
|
|
||||||
|
|
||||||
\newcommand{\Fst}{\Pi_1} %{\oname{Fst}}
|
|
||||||
\newcommand{\Snd}{\Pi_2} %{\oname{Snd}}
|
|
||||||
\newcommand{\klstar}{\sharp} %% Kleisli star
|
|
||||||
\newcommand{\istar}{\dagger}
|
|
||||||
|
|
||||||
\newcommand{\mSv}{\mS_\val}
|
|
||||||
\newcommand{\mSc}{\mS_\com}
|
|
||||||
\newcommand{\mSl}{\mS_\lambda}
|
|
||||||
|
|
||||||
\newcommand{\Sigmas}{\Sigma^\star}
|
|
||||||
|
|
||||||
\newcommand{\ar}{\oname{ar}}
|
|
||||||
|
|
||||||
\newcommand{\oWh}{\oname{while}}
|
|
||||||
\newcommand{\oIf}{\oname{if}}
|
|
||||||
\newcommand{\oPut}{\oname{put}}
|
|
||||||
\newcommand{\oGet}{\oname{get}}
|
|
||||||
\newcommand{\oSeq}{\oname{seq}}
|
|
||||||
|
|
||||||
\newcommand{\app}{\,}
|
|
||||||
\usepackage{proof}
|
|
||||||
\newcommand{\inference}[2]{\infer{~#2~}{~#1~}}
|
|
||||||
|
|
||||||
\newcommand{\St}{\Gamma}
|
|
||||||
|
|
||||||
\newcommand{\exend}{\hfill{\rotatebox[origin=c]{45}{$\Box$}}}
|
|
||||||
|
|
||||||
\makeatletter
|
|
||||||
\let\dir@frac\frac
|
|
||||||
\newcommand{\inv@frac}[2]{\dir@frac{#2}{#1}}
|
|
||||||
|
|
||||||
\renewcommand{\frac}{\@ifstar{\inv@frac}{\dir@frac}}
|
|
||||||
\makeatother
|
|
||||||
|
|
||||||
%\renewcommand{\dar}{\kern1.2pt\operatorname{\downarrow}\kern1pt}
|
|
||||||
|
|
||||||
\newcommand{\G}{\St}
|
|
||||||
\newcommand{\D}{\Delta}
|
|
||||||
|
|
||||||
%\usepackage{txfonts}
|
|
||||||
%\usepackage{newtxtext,newtxmath}
|
|
||||||
|
|
||||||
\newcommand{\mon}{\bullet}
|
|
||||||
\newcommand{\monto}{\mathrel{-}\joinrel\mathrel{\bullet}} %{\multimapdot}
|
|
||||||
\newcommand{\Pt}{V}
|
|
||||||
|
|
||||||
\newcommand{\dc}{\mspace{\medmuskip};\mspace{.5\medmuskip}}
|
|
||||||
\newcommand{\sep}{,\mspace{\medmuskip}}
|
|
||||||
|
|
||||||
\newcommand{\xCL}{\textbf{xCL}\xspace}
|
|
||||||
\newcommand{\xTCL}{\textbf{xTCL}\xspace}
|
|
||||||
\newcommand{\Ty}{\mathsf{Ty}\xspace}
|
|
||||||
\newcommand{\Tr}{\mathsf{Tr}\xspace}
|
|
||||||
\newcommand{\arty}[2]{#1 \rightarrowtriangle #2}
|
|
||||||
\newcommand{\initob}{\textbf{0}}
|
|
||||||
\newcommand{\termob}{\textbf{1}}
|
|
||||||
\newcommand{\tcomp}{\textsf{comp}}
|
|
||||||
\newcommand{\unt}{\mathsf{unit}}
|
|
||||||
\newcommand{\true}{\mathsf{true}}
|
|
||||||
\newcommand{\false}{\mathsf{false}}
|
|
||||||
\newcommand{\bool}{\mathsf{bool}}
|
|
||||||
\newcommand{\fpc}{\mathsf{fix}}
|
|
||||||
\newcommand{\casec}{\mathsf{if}}
|
|
||||||
\newcommand{\ndet}{\oplus} %{\;\ensuremath{\boldsymbol{\pmb{\oplus}}}\;}
|
|
||||||
\newcommand{\paral}{\parallel} %{\;\ensuremath{\boldsymbol{\pmb{\mid\mid}}}\;}
|
|
||||||
\newcommand{\nDownarrow}{\cancel{\Downarrow}}
|
|
||||||
\newcommand{\paralv}{\mathrel{%
|
|
||||||
\mathchoice{\PARV}{\PARV}{\scriptsize\PARV}{\tiny\PARV}
|
|
||||||
}}
|
|
||||||
|
|
||||||
\def\PARV{{%
|
|
||||||
\setbox0\hbox{$\parallel$}%
|
|
||||||
\rlap{\hbox to \wd0{\hss\rule[-.5ex]{.75em}{.12ex}\hss}}\box0
|
|
||||||
}}
|
|
||||||
|
|
||||||
|
|
||||||
\usepackage{ifdraft}
|
|
||||||
\ifdraft{
|
|
||||||
% \usepackage{showframe}
|
|
||||||
\usepackage{showlabels}
|
|
||||||
\renewcommand{\showlabelfont}{\ttfamily\scriptsize}
|
|
||||||
\usepackage[layout=footnote,draft]{fixme}
|
|
||||||
|
|
||||||
% \usepackage[notcite,notref]{showkeys}
|
|
||||||
% \renewcommand*\showkeyslabelformat[1]{%
|
|
||||||
% \raisebox{1ex}{\raggedleft{\textit{\tiny #1}}}
|
|
||||||
}{
|
|
||||||
\usepackage[layout=footnote,final]{fixme}
|
|
||||||
}
|
|
||||||
|
|
||||||
\FXRegisterAuthor{sg}{asg}{SG} % Sergey
|
|
||||||
\FXRegisterAuthor{pp}{app}{PP} % Pouya
|
|
||||||
|
|
||||||
\usepackage{savesym}
|
|
||||||
|
|
||||||
\savesymbol{degree}
|
|
||||||
\savesymbol{leftmoon}
|
|
||||||
\savesymbol{rightmoon}
|
|
||||||
\savesymbol{fullmoon}
|
|
||||||
\savesymbol{newmoon}
|
|
||||||
\savesymbol{diameter}
|
|
||||||
\savesymbol{emptyset}
|
|
||||||
\savesymbol{bigtimes}
|
|
||||||
%\savesymbol{blacktriangleright}
|
|
||||||
\savesymbol{triangleright}
|
|
||||||
|
|
||||||
\savesymbol{langle}
|
|
||||||
\savesymbol{rangle}
|
|
||||||
|
|
||||||
\usepackage[matha,mathx]{mathabx}
|
|
||||||
|
|
||||||
\restoresymbol{other}{langle}
|
|
||||||
\restoresymbol{other}{rangle}
|
|
||||||
\restoresymbol{other}{emptyset}
|
|
||||||
\restoresymbol{other}{triangleright}
|
|
||||||
|
|
||||||
\usepackage{adjustbox}
|
|
||||||
% For size of diagrams.
|
|
||||||
|
|
||||||
% document specific
|
|
||||||
\newcommand{\val}{\mathsf{v}}
|
|
||||||
\newcommand{\com}{\mathsf{c}}
|
|
||||||
\newcommand{\nats}{\mathbb{N}}
|
|
||||||
\newcommand{\ints}{\mathbb{Z}}
|
|
||||||
\newcommand{\mS}{\mu\Sigma}
|
|
||||||
\newcommand{\bss}{\oname{bs}}
|
|
||||||
\renewcommand{\paragraph}[1]{\medskip\noindent{\bfseries\sffamily #1.}}
|
|
||||||
\renewcommand{\comp}{\cdot}
|
|
||||||
\newcommand{\dist}{\oname{dist}}
|
|
||||||
\newcommand{\ldist}{\oname{dist}'}
|
|
||||||
\newcommand{\zero}{\oname{o}}
|
|
||||||
\newcommand{\suc}{\oname{s}}
|
|
||||||
\newcommand{\init}{\oname{init}}
|
|
||||||
\newcommand{\primr}{\oname{primr}}
|
|
||||||
|
|
||||||
\newcommand{\peval}{\frak{p}}
|
|
||||||
\newcommand{\teval}{\frak{t}}
|
|
||||||
\newcommand{\neval}{\frak{n}}
|
|
||||||
\newcommand{\rcomp}{\mathbin{\raisebox{1pt}{\scalebox{.6}{$\RIGHTcircle$}}}}
|
|
||||||
\newcommand{\lcomp}{\mathbin{\raisebox{1pt}{\scalebox{.6}{$\LEFTcircle$}}}}
|
|
||||||
\newcommand{\fcomp}{\mathbin{\raisebox{1pt}{\scalebox{.6}{$\CIRCLE$}}}}%Pouya: I added these three.
|
|
||||||
\newcommand{\tsto}{\leftrightarrow}
|
|
||||||
\newcommand{\ba}{\Downarrow}
|
|
||||||
%\newcommand{\bba}{\pmb{\Downarrow}}
|
|
||||||
\newcommand{\ssim}{\mathrel{\pmb{\sim}}}
|
|
||||||
\newcommand{\hatssim }{\mathrel{\hat{\ssim}}}
|
|
||||||
\newcommand{\dhatssim }{\mathrel{\dhat{\ssim}}}
|
|
||||||
\newcommand{\klplus}{\boxplus}
|
|
||||||
\newcommand{\coit}{\mathsf{coit}}
|
|
||||||
\newcommand{\itt}{\mathsf{it}}
|
|
||||||
\newcommand{\eval}{\mathsf{eval}}
|
|
||||||
\newcommand{\refl}{\mathsf{refl}}
|
|
||||||
\newcommand{\trans}{\mathsf{trans}}
|
|
||||||
\newcommand{\preord}{\mathbf{PreOrd}}
|
|
||||||
\newcommand{\rel}{\mathbf{Rel}}
|
|
||||||
\newcommand{\gra}{\mathbf{Gra}}
|
|
||||||
\newcommand{\obj}{\mathbf{Obj}}
|
|
||||||
|
|
||||||
|
|
||||||
\newcommand{\bba}{
|
|
||||||
\mathrel{%
|
|
||||||
\begin{tikzpicture}[baseline=-6pt]
|
|
||||||
\draw[double, double distance=.75pt, -{Stealth[inset=0pt, angle=75:4pt]}] (0,.02) -- (0,-.28);
|
|
||||||
\end{tikzpicture}%
|
|
||||||
}%
|
|
||||||
}
|
|
||||||
|
|
||||||
\usepackage[final]{listings}
|
|
||||||
|
|
||||||
\lstset{
|
|
||||||
language=Haskell
|
|
||||||
%,xleftmargin=2.0cm
|
|
||||||
, basicstyle=\small
|
|
||||||
, commentstyle=\color{gray}
|
|
||||||
, stringstyle=\itshape % string literal style
|
|
||||||
, keepspaces=true % keeps spaces in text, useful for keeping indentation of code
|
|
||||||
, numbers=none % possible values are (none, left, right)
|
|
||||||
, identifierstyle={\itshape}
|
|
||||||
, flexiblecolumns={true}
|
|
||||||
, showstringspaces={false}
|
|
||||||
%,mathescape={true}
|
|
||||||
, captionpos=b
|
|
||||||
, deletekeywords={join,return,Eval,Left,Either,Right,id,either,Void,Functor,Monad}
|
|
||||||
% , morekeywords={Free}
|
|
||||||
, emphstyle=\slshape
|
|
||||||
, literate={\\}{{$\lambda$}}1 {->}{{$\rightarrow$}}2
|
|
||||||
, literate=
|
|
||||||
{'}{$\,{}^\prime$\!}1
|
|
||||||
{+s}{{$\,$}}1
|
|
||||||
{\\}{{$\lambda$}}1
|
|
||||||
{lnot}{$\lnot$}3
|
|
||||||
{=>}{{$\Rightarrow$}}1
|
|
||||||
{<=}{{$\leq$}}1
|
|
||||||
{<<-}{{$\in$}}1
|
|
||||||
{<<=}{{$\subseteq$}}1
|
|
||||||
{>>=}{{$\gg\kern-1pt=$}}1
|
|
||||||
{++}{{$\varoplus$}}2
|
|
||||||
{|->}{{$\mapsto$}}1
|
|
||||||
{->}{{$\rightarrow$}}1
|
|
||||||
{->d}{{$\rightarrow_\delta$}}2
|
|
||||||
{->b}{{$\rightarrow_\beta$}}2
|
|
||||||
{->bd}{{$\rightarrow_{\beta\delta}^*$}}2
|
|
||||||
{::=}{{$:=$}}2
|
|
||||||
{:=}{{$\mapsto$}}1
|
|
||||||
{alpha}{{$\alpha$}}1
|
|
||||||
{UU}{{$\cup$}}1
|
|
||||||
{All}{{${\forall}\!\!\!\!$}}1
|
|
||||||
}
|
|
||||||
|
|
||||||
|
|
||||||
\setcounter{totalnumber}{1} % No two figures in one page
|
|
||||||
|
|
||||||
\begin{document}\allowdisplaybreaks
|
|
||||||
|
|
||||||
\let\cedilla\c
|
|
||||||
\renewcommand{\c}{\colon}
|
|
||||||
|
|
||||||
%
|
|
||||||
\title{Weak Similarity for Strongly Separated HO-GSOS.}
|
|
||||||
%
|
|
||||||
%\titlerunning{Abbreviated paper title}
|
|
||||||
% If the paper title is too long for the running head, you can set
|
|
||||||
% an abbreviated paper title here
|
|
||||||
%
|
|
||||||
\author{Sergey Goncharov\inst{1}\orcidID{0000-0001-6924-8766} \and
|
|
||||||
Pouya Partow\inst{1}\orcidID{0009-0003-9652-9469}}
|
|
||||||
%
|
|
||||||
\authorrunning{S.~Goncharov, P.~Partow}
|
|
||||||
% First names are abbreviated in the running head.
|
|
||||||
% If there are more than two authors, 'et al.' is used.
|
|
||||||
%
|
|
||||||
\institute{University of Birmingham, UK\\
|
|
||||||
\email{\{s.goncharov,p.partow\}@bham.ac.uk}}
|
|
||||||
%
|
|
||||||
\maketitle % typeset the header of the contribution
|
|
||||||
%
|
|
||||||
\begin{abstract}
|
|
||||||
Hello simulation!
|
|
||||||
\end{abstract}
|
|
||||||
%
|
|
||||||
%
|
|
||||||
%
|
|
||||||
|
|
||||||
\end{document}
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
Loading…
x
Reference in New Issue
Block a user