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 . -