Compactly generated domain theory. Battenfeld, I., Schröder, M., & Simpson, A. Mathematical Structures in Computer Science, 16(2):141–161, Cambridge University Press, 2006. doi bibtex @ARTICLE{BSS06,
author = {Battenfeld, Ingo and Schr{\"o}der, Matthias and Simpson, Alex},
title = {Compactly generated domain theory},
journal = {Mathematical Structures in Computer Science},
year = {2006},
volume = {16},
pages = {141--161},
number = {2},
doi = {10.1017/S0960129506005202},
keywords = {bib, cca},
publisher = {Cambridge University Press}
}
Downloads: 0
{"_id":"QFWSBEyNxHXoB6GJE","bibbaseid":"battenfeld-schrder-simpson-compactlygenerateddomaintheory-2006","authorIDs":[],"author_short":["Battenfeld, I.","Schröder, M.","Simpson, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Battenfeld"],"firstnames":["Ingo"],"suffixes":[]},{"propositions":[],"lastnames":["Schröder"],"firstnames":["Matthias"],"suffixes":[]},{"propositions":[],"lastnames":["Simpson"],"firstnames":["Alex"],"suffixes":[]}],"title":"Compactly generated domain theory","journal":"Mathematical Structures in Computer Science","year":"2006","volume":"16","pages":"141–161","number":"2","doi":"10.1017/S0960129506005202","keywords":"bib, cca","publisher":"Cambridge University Press","bibtex":"@ARTICLE{BSS06,\r\n author = {Battenfeld, Ingo and Schr{\\\"o}der, Matthias and Simpson, Alex},\r\n title = {Compactly generated domain theory},\r\n journal = {Mathematical Structures in Computer Science},\r\n year = {2006},\r\n volume = {16},\r\n pages = {141--161},\r\n number = {2},\r\n doi = {10.1017/S0960129506005202},\r\n keywords = {bib, cca},\r\n publisher = {Cambridge University Press}\r\n}\r\n\r\n","author_short":["Battenfeld, I.","Schröder, M.","Simpson, A."],"key":"BSS06","id":"BSS06","bibbaseid":"battenfeld-schrder-simpson-compactlygenerateddomaintheory-2006","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.498Z","downloads":0,"keywords":["bib","cca"],"search_terms":["compactly","generated","domain","theory","battenfeld","schröder","simpson"],"title":"Compactly generated domain theory","year":2006,"dataSources":["t7rKiAbxugj4Agz8M"]}