- Timestamp:
- Oct 17, 2012, 12:27:19 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Papers/polymorphic-variants-2012/polymorphic-variants.tex
r2396 r2397 9 9 10 10 \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.}} 12 12 13 13 \institute{ 14 Dominic P. Mulligan \at 14 15 Computer Laboratory,\\ 15 University of Cambridge ,\\16 JJ Thomson Avenue,\\17 C ambridge \and16 University of Cambridge. 17 \email{dominic.p.mulligan@gmail.com} \and 18 Claudio Sacerdoti Coen \at 18 19 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} 22 22 } 23 23 … … 27 27 28 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 29 34 \end{abstract} 30 35
Note: See TracChangeset
for help on using the changeset viewer.