jonmsterling.com
this repo has no description
1\RequirePackage{amssymb}
2
3\documentclass{msc}
4
5\usepackage[final]{microtype}
6\usepackage{jms-sections}
7\usepackage{mathtools}
8\usepackage{graphicx}
9\usepackage{jms-sections}
10\usepackage{local-abbrv}
11\usepackage{local-jmsdelim}
12\usepackage{mathpartir}
13\usepackage{jms-operators}
14\usepackage{newtxtext,newtxmath}
15\usepackage{amssymb}
16\usepackage{stmaryrd}
17\usepackage{iblock}
18\usepackage[dvipsnames]{xcolor}
19
20\usepackage[capitalise]{cleveref}
21\usepackage{multicol}
22
23\usepackage{local-tikz}
24\newtheorem{principle}{Principle}
25\newtheorem{observation}[therm]{Observation}
26
27\theoremstyle{definition}
28\newtheorem{computation}[therm]{Computation}
29\newtheorem{construction}[therm]{Construction}
30\newtheorem{exercise}[therm]{Exercise}
31\newtheorem{example}[therm]{Example}
32\newtheorem{provdefinition}[therm]{Provisional Definition}
33
34\Crefname{paragraph}{Section}{Sections}
35\Crefname{observation}{Observation}{Observations}
36\Crefname{construction}{Construction}{Constructions}
37\begin{document}
38
39\lefttitle{Reflexive graph lenses in univalent foundations}
40\righttitle{Mathematical Structures in Computer Science}
41
42\jnlPage{1}{00}
43\jnlDoiYr{2019}
44\doival{10.1017/xxxxx}
45
46\title{Reflexive graph lenses in univalent foundations}
47
48\begin{authgrp}
49\author{Jonathan Sterling}
50\affiliation{%
51 Computer Laboratory,\\
52 University of Cambridge\\
53 \email{js2878@cl.cam.ac.uk}%
54}
55\end{authgrp}
56
57\begin{abstract}
58 \input{nodes/abstract}
59\end{abstract}
60
61\begin{keywords}
62 reflexive graphs, setoids, univalence, dependent types, identity systems
63\end{keywords}
64
65\maketitle
66\input{nodes/body}
67
68\section*{Competing interests}
69The author declares none.
70
71\bibliographystyle{msclike-url}
72\bibliography{refs-bibtex}
73
74\end{document}