Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Ghiorzi, Enrico"'
Autor:
Ghiorzi, Enrico, Tacchella, Armando
This document aims at describing, in a suitably precise and unambiguous though informal way, the execution semantics of Behavior Trees as used in Robotics applications, with particular attention to the Halt semantics.
Comment: 13 pages, 9 figure
Comment: 13 pages, 9 figure
Externí odkaz:
http://arxiv.org/abs/2408.00090
Autor:
Femić, Bojana, Ghiorzi, Enrico
We introduce categories $\M$ and $\S$ internal in the tricategory $\Bicat_3$ of bicategories, pseudofunctors, pseudonatural transformations and modifications, for matrices and spans in a 1-strict tricategory $V$. Their horizontal tricategories are th
Externí odkaz:
http://arxiv.org/abs/2203.16179
Autor:
Johann, Patricia, Ghiorzi, Enrico
Deep data types are those that are constructed from other data types, including, possibly, themselves. In this case, they are said to be truly nested. Deep induction is an extension of structural induction that traverses all of the structure in a dee
Externí odkaz:
http://arxiv.org/abs/2105.08155
Publikováno v:
EPTCS 357, 2022, pp. 77-92
GADTs can be represented either as their Church encodings a la Atkey, or as fixpoints a la Johann and Polonsky. While a GADT represented as its Church encoding need not support a map function satisfying the functor laws, the fixpoint representation o
Externí odkaz:
http://arxiv.org/abs/2105.03389
Autor:
Johann, Patricia, Ghiorzi, Enrico
Publikováno v:
Logical Methods in Computer Science, Volume 17, Issue 4 (December 23, 2021) lmcs:7086
This paper considers parametricity and its consequent free theorems for nested data types. Rather than representing nested types via their Church encodings in a higher-kinded or dependently typed extension of System F, we adopt a functional programmi
Externí odkaz:
http://arxiv.org/abs/2101.04819
Autor:
Ghiorzi, Enrico
We introduce the theory of enrichment over an internal monoidal category as a common generalization of both the standard theories of enriched and internal categories. The aim of the paper is to justify and contextualize the new notion by comparing it
Externí odkaz:
http://arxiv.org/abs/2006.07997
Autor:
Ghiorzi, Enrico
Internal categories feature notions of limit and completeness, as originally proposed in the context of the effective topos. This paper sets out the theory of internal completeness in a general context, spelling out the details of the definitions of
Externí odkaz:
http://arxiv.org/abs/2004.08741
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.
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.