Changeset 2397


Ignore:
Timestamp:
Oct 17, 2012, 12:27:19 PM (7 years ago)
Author:
mulligan
Message:

Knocked the initial skeleton into some form of compilable state

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/polymorphic-variants-2012/polymorphic-variants.tex

    r2396 r2397  
    99
    1010\author{Dominic P. Mulligan \and Claudio Sacerdoti Coen}
    11 \title{Polymorphic variants in dependent type theory}
     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.}}
    1212
    1313\institute{
     14  Dominic P. Mulligan \at
    1415  Computer Laboratory,\\
    15   University of Cambridge,\\
    16   JJ Thomson Avenue,\\
    17   Cambridge \and
     16  University of Cambridge.
     17  \email{dominic.p.mulligan@gmail.com} \and
     18  Claudio Sacerdoti Coen \at
    1819  Dipartimento di Scienze dell'Informazione,\\
    19   Universit\`a di Bologna,\\
    20   via Mura Anteo Zamboni,\\
    21   Bologna
     20  Universit\`a di Bologna.
     21  \email{sacerdot@cs.unibo.it}
    2222}
    2323
     
    2727
    2828\begin{abstract}
     29
     30Big long abstract introducing the work
     31
     32\keywords{Polymorphic variants \and dependent type theory \and Matita theorem prover}
     33
    2934\end{abstract}
    3035
Note: See TracChangeset for help on using the changeset viewer.