%0 Book Section %1 mltt %A Nordström, B. %A Petersson, K. %A Smith, J. M. %D 2000 %I Oxford University Press %K imported %T Handbook of Logic in Computer Science %V 5 %& Martin-Löf's Type Theory

@inbook{mltt, added-at = {2010-08-25T08:47:38.000+0200}, author = {Nordstr{\"{o}}m, B. and Petersson, K. and Smith, J. M.}, biburl = {https://www.bibsonomy.org/bibtex/2110e0db7ae17eb9393067718e27310da/miguel.pagano}, chapter = {{Martin-L{\"{o}}f's Type Theory}}, interhash = {a9e93a4a296a06096a94aa96728ba70c}, intrahash = {110e0db7ae17eb9393067718e27310da}, keywords = {imported}, printed = {{TT}}, publisher = {{Oxford University Press}}, timestamp = {2010-08-25T08:47:43.000+0200}, title = {{Handbook of Logic in Computer Science}}, volume = {{5}}, year = {{2000}} }