Martin-Löf's Type Theory Export

@inbook{nordstrom:mltt, address = {Oxford University Press}, author = {Nordstr\"{o}m, B. and Petersson, K. and Smith, J. M.}, booktitle = {Handbook of Logic in Computer Science: Vol 5: Logic and Algebraic Methods}, chapter = {1}, citeulike-article-id = {3487325}, editor = {Abramsky, S. and Gabbay, Dov M. and Maibaum, T. S. E.}, journal = {Handbook of Logic in Computer Science: Vol 5: Logic and Algebraic Methods}, keywords = {dependent-types, logic, type-theory}, location = {Oxford}, pages = {1--37}, posted-at = {2008-11-07 12:33:03}, priority = {0}, title = {Martin-L\"{o}f's Type Theory}, year = {2000} }

TY - CHAP ID - nordstrom:mltt L3 - citeulike-article-id:3487325 CY - Oxford JF - Handbook of Logic in Computer Science: Vol 5: Logic and Algebraic Methods AD - Oxford University Press EP - 37 TI - Martin-Löf's Type Theory T2 - Handbook of Logic in Computer Science: Vol 5: Logic and Algebraic Methods SP - 1 KW - dependent-types KW - logic KW - type-theory AU - Nordström, B AU - Petersson, K AU - Smith, JM A2 - Abramsky, S A2 - Gabbay, Dov A2 - Maibaum, TSE PY - 2000/// ER -