Mizar's Soft Type System. Wiedijk, F. In Schneider, K. & Brandt, J., editors, Theorem Proving in Higher Order Logics 2007, volume 4732, of Lecture Notes in Artificial Intelligence, pages 383–399, 2007. Springer.
![Mizar's Soft Type System [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @inproceedings{freek2007f,
Author = {Freek Wiedijk},
Booktitle = {Theorem Proving in Higher Order Logics 2007},
Date-Added = {2014-11-16 22:16:50 +0000},
Date-Modified = {2014-11-16 22:20:04 +0000},
Editor = {K. Schneider and J. Brandt},
Pages = {383--399},
Publisher = {Springer},
Series = {Lecture Notes in Artificial Intelligence},
Title = {Mizar's Soft Type System},
Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/mizar/miztype.pdf},
Volume = {4732},
Year = {2007}}Downloads: 0
{"_id":"MR7yRbfTRGDEJgXNZ","bibbaseid":"wiedijk-mizarssofttypesystem-2007","author_short":["Wiedijk, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"booktitle":"Theorem Proving in Higher Order Logics 2007","date-added":"2014-11-16 22:16:50 +0000","date-modified":"2014-11-16 22:20:04 +0000","editor":[{"firstnames":["K."],"propositions":[],"lastnames":["Schneider"],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["Brandt"],"suffixes":[]}],"pages":"383–399","publisher":"Springer","series":"Lecture Notes in Artificial Intelligence","title":"Mizar's Soft Type System","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/mizar/miztype.pdf","volume":"4732","year":"2007","bibtex":"@inproceedings{freek2007f,\n\tAuthor = {Freek Wiedijk},\n\tBooktitle = {Theorem Proving in Higher Order Logics 2007},\n\tDate-Added = {2014-11-16 22:16:50 +0000},\n\tDate-Modified = {2014-11-16 22:20:04 +0000},\n\tEditor = {K. Schneider and J. Brandt},\n\tPages = {383--399},\n\tPublisher = {Springer},\n\tSeries = {Lecture Notes in Artificial Intelligence},\n\tTitle = {Mizar's Soft Type System},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/mizar/miztype.pdf},\n\tVolume = {4732},\n\tYear = {2007}}\n\n","author_short":["Wiedijk, F."],"editor_short":["Schneider, K.","Brandt, J."],"key":"freek2007f","id":"freek2007f","bibbaseid":"wiedijk-mizarssofttypesystem-2007","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/mizar/miztype.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["mizar","soft","type","system","wiedijk"],"title":"Mizar's Soft Type System","year":2007}