Výsledky vyhledávání - "Maksym Sokhatskyi"

Constructive Proofs of Heterogeneous Equalities in Cubical Type Theory

Autor: Maksym Sokhatskyi, Pavlo Maslianko

Publikováno v: Advances in Intelligent Systems and Computing ISBN: 9783319978840

This paper represents the very small part of the developed base library for homotopical prover based on Cubical Type Theory (CTT) announced in 2017. We demonstrate the usage of this library by showing how to build a constructive proof of heterogeneou

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::f2725967513f0ff1b25dd3726927dd93
https://doi.org/10.1007/978-3-319-97885-7_30

Zobrazit plný text záznamu

The systems engineering of consistent pure language with effect type system for certified applications and higher languages

Autor: Maksym Sokhatskyi, Pavlo Maslianko

Publikováno v: AIP Conference Proceedings.

This paper presents the design of the Om language and an implementation of its type checker and bytecode extractor to Erlang. Om is an intermediate language based on a pure type system with the infinite number of universes, so it is known to be consi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::1db56e385954539e6c1ecef6efa18a56
https://doi.org/10.1063/1.5045439

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání