Calisto,, Bruna Isabel Afonso Carvalho
Formalization in Coq of the standardization theorem for [Lambda]-calculus [Documento eletrónico] = [Formalização em Coq do teorema da standardização para o cálculo-[Lambda]] / Bruna Isabel Afonso Carvalho Calisto ; orient. Luís Filipe Ribeiro Pinto
Formalization in Coq of the standardization theorem for [Lambda]-calculus [Documento eletrónico] = [Formalização em Coq do teorema da standardização para o cálculo-[Lambda]] / Bruna Isabel Afonso Carvalho Calisto ; orient. Luís Filipe Ribeiro Pinto
. - [Braga : s.n.], 2022
. -