A Unifying Framework for Type Inhabitation

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2018

Autores

Sandra Alves (Autor) FCUP; Broda, S (Autor) FCUP

Ata de Conferência Internacional

Título: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK

Páginas: 5:1-5:16

Classificação Científica

CORDIS: Ciências Físicas > Ciência de computadores

FOS: Ciências exactas e naturais ; Ciências exactas e naturais > Ciências da computação e da informação

Outras Informações

ID Authenticus: P-00N-ZSX

Idioma: Inglês

Tipo (Avaliação Docente): Científica