Biblioteca da Universidade do Minho

Your cart is empty.
No cover image available
Normal view MARC view ISBD view

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

Main Author Calisto, Bruna Isabel Afonso Carvalho Secondary Author Pinto, Luís F. Corporate Author (Secondary) Universidade do Minho. Escola de Ciências Country Portugal. Publication [Braga : s.n.], 2022 Dissertation Note or Thesis: Online resource Acesso livre
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
No physical items for this record

Descrição baseada no documento eletrónico

Dissertação mestrado Matemática e Computação Escola de Ciências da Universidade do Minho 2023

There are no comments for this item.

Log in to your account to post a comment.