المؤلفون: van Oosten, J., Zou, Tingxiang

المساهمون: Sub Fundamental Mathematics, Fundamental mathematics

مصطلحات موضوعية: realizability toposes, partial combinatory algebras, geometric morphisms, local operators, abstract Krivine structures, non-localic Boolean toposes

وصف الملف: image/pdf

Relation: https://dspace.library.uu.nl/handle/1874/347485

الاتاحة: https://dspace.library.uu.nl/handle/1874/347485

المؤلفون: van Oosten, Jaap, Zou, Tingxiang

المساهمون: Sub Fundamental Mathematics, Fundamental mathematics

مصطلحات موضوعية: abstract Krivine structures, partial combinatory algebras, FOS: Mathematics, realizability toposes, Category Theory (math.CT), geometric morphisms, Mathematics - Category Theory, local operators, non-localic Boolean toposes, Mathematics - Logic, Logic (math.LO)

وصف الملف: image/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8627e2e49c08d8534bad03f46cd926a5
http://arxiv.org/abs/1603.03621

المصدر: Theory and Applications of Categories. 31(22):571

مصطلحات موضوعية: abstract Krivine structures, partial combinatory algebras, realizability toposes, geometric morphisms, local operators, non-localic Boolean toposes

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dris___00893::95c7a357ce4866c74891bc75edc55a3d
https://hdl.handle.net/1874/347485