Last change
on this file since 2397 was
2397,
checked in by mulligan, 9 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 | |
---|
30 | Big 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.