Добірка наукової літератури з теми "Artin gluing"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Зміст
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Artin gluing".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Artin gluing"
Sterling, Jonathan, and Robert Harper. "Logical Relations as Types: Proof-Relevant Parametricity for Program Modules." Journal of the ACM 68, no. 6 (December 31, 2021): 1–47. http://dx.doi.org/10.1145/3474834.
Повний текст джерелаSterling, Jonathan, and Robert Harper. "Logical Relations as Types: Proof-Relevant Parametricity for Program Modules." Journal of the ACM 68, no. 6 (December 31, 2021): 1–47. http://dx.doi.org/10.1145/3474834.
Повний текст джерелаCarboni, Aurelio, and Peter Johnstone. "Connected limits, familial representability and Artin glueing." Mathematical Structures in Computer Science 5, no. 4 (December 1995): 441–59. http://dx.doi.org/10.1017/s0960129500001183.
Повний текст джерелаCARBONI, AURELIO, and PETER JOHNSTONE. "Corrigenda for Connected limits, familial representability and Artin glueing." Mathematical Structures in Computer Science 14, no. 1 (February 2004): 185–87. http://dx.doi.org/10.1017/s0960129503004080.
Повний текст джерелаFaul, Peter F., and Graham R. Manuell. "Artin glueings of frames as semidirect products." Journal of Pure and Applied Algebra 224, no. 8 (August 2020): 106334. http://dx.doi.org/10.1016/j.jpaa.2020.106334.
Повний текст джерелаNaubnome, Viktor. "ANALISIS UJI TARIK DAN SIMULASI KEGAGALAN PADA BAJA SS400 DENGAN VARIASI KETEBALAN LAPISAN KARBON FIBER UNTUK APLIKASI KERANGKA MOBIL LISTRIK." Gorontalo Journal of Infrastructure and Science Engineering 3, no. 1 (April 1, 2020): 28. http://dx.doi.org/10.32662/gojise.v3i1.840.
Повний текст джерелаSterling, Jonathan, Carlo Angiuli, and Daniel Gratzer. "A Cubical Language for Bishop Sets." Logical Methods in Computer Science Volume 18, Issue 1 (March 29, 2022). http://dx.doi.org/10.46298/lmcs-18(1:43)2022.
Повний текст джерелаSaorín, Manuel, and Alexandra Zvonareva. "Lifting of recollements and gluing of partial silting sets." Proceedings of the Royal Society of Edinburgh: Section A Mathematics, June 7, 2021, 1–49. http://dx.doi.org/10.1017/prm.2021.3.
Повний текст джерелаSolovyov, Sergey. "Topological systems and Artin glueing." Mathematica Slovaca 62, no. 4 (January 1, 2012). http://dx.doi.org/10.2478/s12175-012-0037-6.
Повний текст джерелаFiore, Marcelo. "Semantic analysis of normalisation by evaluation for typed lambda calculus." Mathematical Structures in Computer Science, November 22, 2022, 1–38. http://dx.doi.org/10.1017/s0960129522000263.
Повний текст джерела