Zobrazeno 1 - 10
of 4 375
pro vyhledávání: '"Inductive type"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Advances in Mathematics July 2024 450
Publikováno v:
Advances in Mathematics 450 (2024), no. 109739
We give a new description of computads for weak globular $\omega$-categories by giving an explicit inductive definition of the free words. This yields a new understanding of computads, and allows a new definition of $\omega$-category that avoids the
Externí odkaz:
http://arxiv.org/abs/2208.08719
Autor:
Altenkirch, Thorsten, Scoccola, Luis
Publikováno v:
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 67-73), 2020
We consider the problem of defining the integers in Homotopy Type Theory (HoTT). We can define the type of integers as signed natural numbers (i.e., using a coproduct), but its induction principle is very inconvenient to work with, since it leads to
Externí odkaz:
http://arxiv.org/abs/2007.00167
Autor:
N. A. Poklonski, A. I. Kovalev, K. V. Usenko, E. A. Ermakova, N. I. Gorbachuk, S. B. Lastovski
Publikováno v:
Pribory i Metody Izmerenij, Vol 14, Iss 1, Pp 38-43 (2023)
In silicon microelectronics, flat metal spirals are formed to create an integrated inductance. However, the maximum specific inductance of such spirals at low frequencies is limited to a value of the order of tens of microhenries per square centimete
Externí odkaz:
https://doaj.org/article/b467361c5fc34f5e9543b95ba56d7e99
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Sensors and Actuators: A. Physical 1 October 2019 297
Publikováno v:
FOSSACS 2017, LNCS 10203, pp. 534-549, 2017
Capretta's delay monad can be used to model partial computations, but it has the "wrong" notion of built-in equality, strong bisimilarity. An alternative is to quotient the delay monad by the "right" notion of equality, weak bisimilarity. However, re
Externí odkaz:
http://arxiv.org/abs/1610.09254
Publikováno v:
Физика волновых процессов и радиотехнические системы, Vol 24, Iss 2, Pp 22-31 (2021)
The principle of calculation of a plate from a metamaterial with inductive type chiral inclusions is submitted. It is shown that distribution of an electromagnetic wave to such substance can be investigated with the help of introduction of a chiral p
Externí odkaz:
https://doaj.org/article/6c1ff97daad14c4abf8f5867413ed304