{"_id":"S9fyiq5JQFhY6meXT","bibbaseid":"niqui-formalisingexactarithmeticintypetheory-2005","authorIDs":[],"author_short":["Niqui, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Niqui"],"firstnames":["Milad"],"suffixes":[]}],"title":"Formalising Exact Arithmetic in Type Theory","booktitle":"New Computational Paradigms","year":"2005","editor":[{"propositions":[],"lastnames":["Cooper"],"firstnames":["Barry","S."],"suffixes":[]},{"propositions":[],"lastnames":["Löwe"],"firstnames":["Benedikt"],"suffixes":[]},{"propositions":[],"lastnames":["Torenvliet"],"firstnames":["Leen"],"suffixes":[]}],"volume":"3526","pages":"368–377","address":"Berlin","publisher":"Springer","note":"First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 2005","keywords":"bib,cca","bibtex":"@INPROCEEDINGS{Niq05,\r\n author = {Niqui, Milad},\r\n title = {Formalising Exact Arithmetic in Type Theory},\r\n booktitle = {New Computational Paradigms},\r\n year = {2005},\r\n editor = {Cooper, Barry S. and L{\\\"o}we, Benedikt and Torenvliet, Leen},\r\n volume = {3526},\r\n series = LNCS,\r\n pages = {368--377},\r\n address = {Berlin},\r\n publisher = {Springer},\r\n note = {First Conference on Computability in Europe, CiE 2005, Amsterdam,\r\n\tThe Netherlands, June 2005},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Niqui, M."],"editor_short":["Cooper, B. S.","Löwe, B.","Torenvliet, L."],"key":"Niq05","id":"Niq05","bibbaseid":"niqui-formalisingexactarithmeticintypetheory-2005","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.977Z","downloads":0,"keywords":["bib","cca"],"search_terms":["formalising","exact","arithmetic","type","theory","niqui"],"title":"Formalising Exact Arithmetic in Type Theory","year":2005,"dataSources":["t7rKiAbxugj4Agz8M"]}