Computational paths - a weak groupoid von de Veras, Tiago M L, Ramos, Arthur F, de Queiroz, Ruy J G B, de Oliveira, Anjolina G

Volltext

On the identity type as the type of computational paths von Ramos, Arthur F., De Queiroz, Ruy J. G. B., De Oliveira, Anjolina G.

Volltext

Computational Paths -- An approach in the $LND_{EQ}-TRS_{2}$ system von Veras, Tiago M. L, Ramos, Arthur F, de Queiroz, Ruy J. G. B, de Oliveira, Anjolina G

Volltext bestellen

Computational Paths -- An approach in the \(LND_{EQ}-TRS_{2}\) system von Veras, Tiago M L, Ramos, Arthur F, Ruy J G B de Queiroz, de Oliveira, Anjolina G

Volltext

A Topological Application of Labelled Natural Deduction von Veras, Tiago M. L, Ramos, Arthur F, de Queiroz, Ruy J. G. B, de Oliveira, Anjolina G

Volltext bestellen

An alternative approach to the calculation of fundamental groups based on labeled natural deduction von de Veras, Tiago M. L, Ramos, Arthur F, de Queiroz, Ruy J. G. B, de Oliveira, Anjolina G

Volltext bestellen

On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths von de Veras, Tiago Mendonça Lucena, Ramos, Arthur F, de Queiroz, Ruy J. G. B, de Oliveira, Anjolina G

Volltext bestellen

On the Use of Computational Paths in Path Spaces of Homotopy Type Theory von Ramos, Arthur F, de Queiroz, Ruy J. G. B, de Oliveira, Anjolina G, de Veras, Tiago Mendonça Lucena

Volltext bestellen

A Topological Application of Labelled Natural Deduction von Veras, Tiago M L, Ramos, Arthur F, Ruy J G B de Queiroz, de Oliveira, Anjolina G

Volltext

On Computational Paths and the Fundamental Groupoid of a Type von Ramos, Arthur F, de Queiroz, Ruy J. G. B, de Oliveira, Anjolina

Volltext bestellen

On the Groupoid Model of Computational Paths von Ramos, Arthur F, de Queiroz, Ruy J. G. B, de Oliveira, Anjolina G

Volltext bestellen

On the Identity Type as the Type of Computational Paths von Ramos, Arthur F, de Queiroz, Ruy J. G. B, de Oliveira, Anjolina G

Volltext bestellen

An alternative approach to the calculation of fundamental groups based on labeled natural deduction von Tiago M L de Veras, Ramos, Arthur F, Ruy J G B de Queiroz, de Oliveira, Anjolina G

Volltext

On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths von Tiago Mendonça Lucena de Veras, Ramos, Arthur F, Ruy J G B de Queiroz, de Oliveira, Anjolina G

Volltext

On the Use of Computational Paths in Path Spaces of Homotopy Type Theory von Ramos, Arthur F, Ruy J G B de Queiroz, de Oliveira, Anjolina G, Tiago Mendonça Lucena de Veras

Volltext

On the Groupoid Model of Computational Paths von Ramos, Arthur F, Ruy J G B de Queiroz, de Oliveira, Anjolina G

Volltext

On Computational Paths and the Fundamental Groupoid of a Type von Ramos, Arthur F, Ruy J G B de Queiroz, Anjolina de Oliveira

Volltext

On the Identity Type as the Type of Computational Paths von Ramos, Arthur F, Ruy J G B de Queiroz, de Oliveira, Anjolina G

Volltext

Near-Optimal Probing Planning for In-Band Network Telemetry von Castro, Ariel G., Lorenzon, Arthur F., Rossi, Fabio D., Filho, Roberto I. T. da Costa, Ramos, Fernando M. V., Rothenberg, Christian E., Luizelli, Marcelo C.

Volltext

No one-size-fits-all solution to clean GBIF von Zizka, Alexander, Antunes Carvalho, Fernanda, Calvente, Alice, Rocio Baez-Lizarazo, Mabel, Cabral, Andressa, Coelho, Jéssica Fernanda Ramos, Colli-Silva, Matheus, Fantinati, Mariana Ramos, Fernandes, Moabe F, Ferreira-Araújo, Thais, Gondim Lambert Moreira, Fernanda, Santos, Nathália Michellyda Cunha, Santos, Tiago Andrade Borges, dos Santos-Costa, Renata Clicia, Serrano, Filipe C, Alves da Silva, Ana Paula, de Souza Soares, Arthur, Cavalcante de Souza, Paolla Gabryelle, Calisto Tomaz, Eduardo, Vale, Valéria Fonseca, Vieira, Tiago Luiz, Antonelli, Alexandre

Volltext