Search Results - "Felicissimo, Thiago"

Sharing proofs with predicative theories through universe-polymorphic elaboration by Felicissimo, Thiago, Blanqui, Frédéric

“…As the development of formal proofs is a time-consuming task, it is important to devise ways of sharing the already written proofs to prevent wasting time…”
Get full text

Systemic effects of settleable atmospheric particulate matter (SePM) on swamp ghost crab Ucides cordatus by Nobre, Caio Rodrigues, de Souza Paço, Marina, de Almeida Duarte, Luis Felipe, dos Santos Barbosa Ortega, Andressa, Moreno, Beatriz Barbosa, de Camargo, Thiago Felicíssimo Turíbio, Parreira, Leticia Malvestio, da Costa Souza, Iara, Monferrán, Magdalena Victoria, Wunderlin, Daniel Alberto, Fernandes, Marisa Narciso, Pereira, Camilo Dias Seabra

“…Metallurgical activities are a significant source of settleable atmospheric particulate matter (SePM). The material is exposed to wind action, leading to its…”
Get full text

Generic bidirectional typing for dependent type theories by Felicissimo, Thiago

“…Bidirectional typing is a discipline in which the typing judgment is decomposed explicitly into inference and checking modes, allowing to control the flow of…”
Get full text

Adequate and computational encodings in the logical framework Dedukti by Felicissimo, Thiago

“…Dedukti is a very expressive logical framework which unlike most frameworks, such as the Edinburgh Logical Framework (LF), allows for the representation of…”
Get full text

Sharing proofs with predicative theories through universe-polymorphic elaboration by Felicissimo, Thiago, Blanqui, Frédéric

“…Logical Methods in Computer Science, Volume 20, Issue 3 (September 10, 2024) lmcs:12213 As the development of formal proofs is a time-consuming task, it is…”
Get full text

Translating proofs from an impredicative type system to a predicative one by Felicissimo, Thiago, Blanqui, Frédéric, Barnawal, Ashish Kumar

“…As the development of formal proofs is a time-consuming task, it is important to devise ways of sharing the already written proofs to prevent wasting time…”
Get full text