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

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

Knocked the initial skeleton into some form of compilable state

File size: 1.2 KB
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\thanks{The project CerCo acknowledges the financial support of the Future and Emerging Technologies (FET) programme within the Seventh Framework Programme for Research of the European Commission, under FET-Open grant number: 243881.}}
12
13\institute{
14  Dominic P. Mulligan \at
15  Computer Laboratory,\\
16  University of Cambridge.
17  \email{dominic.p.mulligan@gmail.com} \and
18  Claudio Sacerdoti Coen \at
19  Dipartimento di Scienze dell'Informazione,\\
20  Universit\`a di Bologna.
21  \email{sacerdot@cs.unibo.it}
22}
23
24\begin{document}
25
26\maketitle
27
28\begin{abstract}
29
30Big long abstract introducing the work
31
32\keywords{Polymorphic variants \and dependent type theory \and Matita theorem prover}
33
34\end{abstract}
35
36%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
37% Section
38%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
39\section{Introduction}
40\label{sect.introduction}
41
42\end{document}
Note: See TracBrowser for help on using the repository browser.