%0 Conference Paper %1 conf/cie/Maietti07 %A Maietti, Maria Emilia %B CiE %D 2007 %E Cooper, S. Barry %E Löwe, Benedikt %E Sorbi, Andrea %I Springer %K dblp %P 517-531 %T Quotients over Minimal Type Theory. %U http://dblp.uni-trier.de/db/conf/cie/cie2007.html#Maietti07 %V 4497 %@ 978-3-540-73000-2

@inproceedings{conf/cie/Maietti07, added-at = {2017-05-19T00:00:00.000+0200}, author = {Maietti, Maria Emilia}, biburl = {https://www.bibsonomy.org/bibtex/2873681650df6c026e1e4f818e1794863/dblp}, booktitle = {CiE}, crossref = {conf/cie/2007}, editor = {Cooper, S. Barry and Löwe, Benedikt and Sorbi, Andrea}, ee = {https://doi.org/10.1007/978-3-540-73001-9_54}, interhash = {6bc64ab21f1f7ac365010e8c75371328}, intrahash = {873681650df6c026e1e4f818e1794863}, isbn = {978-3-540-73000-2}, keywords = {dblp}, pages = {517-531}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:08:40.000+0200}, title = {Quotients over Minimal Type Theory.}, url = {http://dblp.uni-trier.de/db/conf/cie/cie2007.html#Maietti07}, volume = 4497, year = 2007 }