Computable sets : located and overt locales

Autor:	Coquand, T., Spitters, B.A.W.
Jazyk:	angličtina
Rok vydání:	2007
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=narcis______::59b994298b7e1534fcf1f185f394eab8 https://research.tue.nl/nl/publications/dc8c346d-c306-44af-8985-d6a8e95a00ae Zobrazit plný text záznamu