source: Papers/polymorphic-variants-2012/polymorphic-variants.tex @ 2396

Last change on this file since 2396 was 2396, checked in by mulligan, 7 years ago

Polymorphic variants paper skeleton

File size: 773 bytes
Line 
1\documentclass[smallextended]{svjour3}
2
3\smartqed
4
5\usepackage[english]{babel}
6\usepackage[colorlinks]{hyperref}
7\usepackage{microtype}
8
9
10\author{Dominic P. Mulligan \and Claudio Sacerdoti Coen}
11\title{Polymorphic variants in dependent type theory}
12
13\institute{
14  Computer Laboratory,\\
15  University of Cambridge,\\
16  JJ Thomson Avenue,\\
17  Cambridge \and
18  Dipartimento di Scienze dell'Informazione,\\
19  Universit\`a di Bologna,\\
20  via Mura Anteo Zamboni,\\
21  Bologna
22}
23
24\begin{document}
25
26\maketitle
27
28\begin{abstract}
29\end{abstract}
30
31%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
32% Section
33%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
34\section{Introduction}
35\label{sect.introduction}
36
37\end{document}
Note: See TracBrowser for help on using the repository browser.