%0 Book %1 Nordstrom1990Programming %A Nordström, Bengt %A Petersson, Kent %A Smith, Jan M. %B International Series of Monographs on Computer Science %D 1990 %I Oxford Universiy Press %K 03b15-higher-order-logic-type-theory 68n18-functional-programming-and-lambda-calculus %T Programming in Martin-Löf's Type Theory %U http://www.cse.chalmers.se/research/group/logic/book/book.pdf %@ 9780198538141

@book{Nordstrom1990Programming, added-at = {2019-03-01T00:11:50.000+0100}, author = {Nordstr\"{o}m, Bengt and Petersson, Kent and Smith, Jan M.}, biburl = {https://www.bibsonomy.org/bibtex/24c1d4873383cc09708f3427f40a33c2f/gdmcbain}, citeulike-article-id = {14259839}, citeulike-attachment-1 = {nordstroem_90_programming.pdf; /pdf/user/gdmcbain/article/14259839/1131670/nordstroem_90_programming.pdf; f5684db6b0b1364d8fcae7966aa49f470893899c}, citeulike-linkout-0 = {http://www.cse.chalmers.se/research/group/logic/book/book.pdf}, citeulike-linkout-1 = {http://www.worldcat.org/isbn/9780198538141}, citeulike-linkout-2 = {http://books.google.com/books?vid=ISBN9780198538141}, citeulike-linkout-3 = {http://www.amazon.com/gp/search?keywords=9780198538141\&index=books\&linkCode=qs}, citeulike-linkout-4 = {http://www.librarything.com/isbn/9780198538141}, citeulike-linkout-5 = {http://www.worldcat.org/oclc/20933619}, file = {nordstroem_90_programming.pdf}, interhash = {98fa599a5d71015682eeb2ae88f3adf0}, intrahash = {4c1d4873383cc09708f3427f40a33c2f}, isbn = {9780198538141}, keywords = {03b15-higher-order-logic-type-theory 68n18-functional-programming-and-lambda-calculus}, posted-at = {2018-03-11 23:41:51}, priority = {2}, publisher = {Oxford Universiy Press}, series = {International Series of Monographs on Computer Science}, timestamp = {2019-03-01T00:11:50.000+0100}, title = {Programming in {M}artin-{L}\"{o}f's Type Theory}, url = {http://www.cse.chalmers.se/research/group/logic/book/book.pdf}, year = 1990 }