Publications: Electronic Proceedings Article: Certified mathematical hierarchies: the {FoCal} system.

Title*:	Certified mathematical hierarchies: the FoCal system.
Booktitle*:	Proceedings of the MAP (Mathematics, Algorithms, Proofs) Workshop
Event Address*:	IBFI Schloß Dagstuhl, Germany	URL of the conference:	http://www.dagstuhl.de/05021
Event Date*: (no longer used):		URL for downloading the paper:	http://drops.dagstuhl.de/opus/volltexte/2006/274/pdf/05021.PrevostoVirgile.Paper.274.pdf
Event Start Date:	9 January 2005	Event End Date:	14 January 2005
Language:	English	Organization:

Publisher

Publisher's Name:	IBFI	Publisher's URL:	http://www.dagstuhl.de/DROPS/DagstuhlSeminarProceedings/
Address*:	Dagstuhl, Germany	Type:

Vol, No, pp., Year

Series:	Dagstuhl Seminar Proceedings
Volume:	05021	Number:
Month:		Pages:
		Sequence Number:	274
Year*:	2006	ISBN/ISSN:	1862-4405

Abstract, Links, ©

URL for Reference:
Note:
(LaTeX) Abstract:
URL for the Abstract:

Tags, Categories, Keywords:
HyperLinks / References / URLs:
Copyright Message:
Personal Comments:
Download Access Level:	Public

Correlation

MPG Unit:	Max-Planck-Institut für Informatik

MPG Subunit:	Programming Logics Group
Audience:	Expert
Appearance:	MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography, VG Wort

BibTeX Entry:

@INPROCEEDINGS{PrevostoDagstuhl2005,
AUTHOR = {Prevosto, Virgile},
EDITOR = {Coquand, Thierry and Lombardi, Henri and Roy, Marie-Franccoise},
TITLE = {Certified mathematical hierarchies: the {FoCal} system.},
BOOKTITLE = {Proceedings of the MAP (Mathematics, Algorithms, Proofs) Workshop},
PUBLISHER = {IBFI},
YEAR = {2006},
VOLUME = {05021},
SERIES = {Dagstuhl Seminar Proceedings},
ADDRESS = {IBFI Schloß Dagstuhl, Germany},
ISBN = {1862-4405},
}

Entry last modified by Uwe Brahm, 01/28/2008

Edit History (please click the blue arrow to see the details)

	Editor(s) Virgile Prevosto	Created 03/09/2005 09:41:11 AM
Revisions 6. 5. 4. 3. 2.	Editor(s) Uwe Brahm Uwe Brahm Christine Kiesel Virgile Prevosto Virgile Prevosto	Edit Dates 2007-04-30 14:48:38 2007-04-26 11:33:25 25.04.2006 21:25:07 10/26/2005 03:42:48 PM 06.05.2005 14:24:56

Attachment Section