Autor(es): Sandra Alves ; Broda,S
Data: 2015
Origem: INESC TEC
Detalhes do Documento
A short note on type-inhabitation: Formula-trees vs. game semantics
Descrição
This short note compares two different methods for exploring type-inhabitation in the simply typed lambda-calculus, highlighting their similarities.
Tipo de Documento
Artigo científico
Idioma Inglês
Idioma Inglês
