Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I. Kalantari, I. & Welch, L. 93(1–3):125–151, 1998. bibtex @ARTICLE{KW98,
author = {Kalantari, Iraj and Welch, Lawrence},
title = {Point-free topological spaces, functions and recursive points; filter
foundation for recursive analysis. {I}},
journal = APAL,
year = {1998},
volume = {93},
pages = {125--151},
number = {1--3},
keywords = {bib,cca}
}
Downloads: 0
{"_id":"wykF5zCC36uTq4bg4","bibbaseid":"kalantari-welch-pointfreetopologicalspacesfunctionsandrecursivepointsfilterfoundationforrecursiveanalysisi-1998","authorIDs":[],"author_short":["Kalantari, I.","Welch, L."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Kalantari"],"firstnames":["Iraj"],"suffixes":[]},{"propositions":[],"lastnames":["Welch"],"firstnames":["Lawrence"],"suffixes":[]}],"title":"Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I","year":"1998","volume":"93","pages":"125–151","number":"1–3","keywords":"bib,cca","bibtex":"@ARTICLE{KW98,\r\n author = {Kalantari, Iraj and Welch, Lawrence},\r\n title = {Point-free topological spaces, functions and recursive points; filter\r\n\tfoundation for recursive analysis. {I}},\r\n journal = APAL,\r\n year = {1998},\r\n volume = {93},\r\n pages = {125--151},\r\n number = {1--3},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Kalantari, I.","Welch, L."],"key":"KW98","id":"KW98","bibbaseid":"kalantari-welch-pointfreetopologicalspacesfunctionsandrecursivepointsfilterfoundationforrecursiveanalysisi-1998","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.890Z","downloads":0,"keywords":["bib","cca"],"search_terms":["point","free","topological","spaces","functions","recursive","points","filter","foundation","recursive","analysis","kalantari","welch"],"title":"Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I","year":1998,"dataSources":["t7rKiAbxugj4Agz8M"]}