Formal proof sketches. Wiedijk, F. In Berardi, S., Coppo, M., & Damiani, F., editors, Types for Proofs and Programs: Third International Workshop, TYPES 2003, Torino, Italy, volume 3085, of Lecture Notes in Computer Science, pages 378–393, 2004. Springer.
![Formal proof sketches [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @inproceedings{freek2004a,
Author = {Freek Wiedijk},
Booktitle = {Types for Proofs and Programs: Third International Workshop, TYPES 2003, Torino, Italy},
Date-Added = {2014-11-15 23:05:26 +0000},
Date-Modified = {2014-11-15 23:08:04 +0000},
Editor = {Stefano Berardi and Mario Coppo and Ferruccio Damiani},
Pages = {378--393},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {Formal proof sketches},
Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/sketches2.pdf},
Volume = {3085},
Year = {2004}}Downloads: 0
{"_id":"mzDydXtRFkJnBYqR9","bibbaseid":"wiedijk-formalproofsketches-2004","author_short":["Wiedijk, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"booktitle":"Types for Proofs and Programs: Third International Workshop, TYPES 2003, Torino, Italy","date-added":"2014-11-15 23:05:26 +0000","date-modified":"2014-11-15 23:08:04 +0000","editor":[{"firstnames":["Stefano"],"propositions":[],"lastnames":["Berardi"],"suffixes":[]},{"firstnames":["Mario"],"propositions":[],"lastnames":["Coppo"],"suffixes":[]},{"firstnames":["Ferruccio"],"propositions":[],"lastnames":["Damiani"],"suffixes":[]}],"pages":"378–393","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"Formal proof sketches","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/sketches2.pdf","volume":"3085","year":"2004","bibtex":"@inproceedings{freek2004a,\n\tAuthor = {Freek Wiedijk},\n\tBooktitle = {Types for Proofs and Programs: Third International Workshop, TYPES 2003, Torino, Italy},\n\tDate-Added = {2014-11-15 23:05:26 +0000},\n\tDate-Modified = {2014-11-15 23:08:04 +0000},\n\tEditor = {Stefano Berardi and Mario Coppo and Ferruccio Damiani},\n\tPages = {378--393},\n\tPublisher = {Springer},\n\tSeries = {Lecture Notes in Computer Science},\n\tTitle = {Formal proof sketches},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/sketches2.pdf},\n\tVolume = {3085},\n\tYear = {2004}}\n\n","author_short":["Wiedijk, F."],"editor_short":["Berardi, S.","Coppo, M.","Damiani, F."],"key":"freek2004a","id":"freek2004a","bibbaseid":"wiedijk-formalproofsketches-2004","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/sketches2.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["formal","proof","sketches","wiedijk"],"title":"Formal proof sketches","year":2004}