Projects top banner

A Unifying Framework for Type Inhabitation

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

Proceedings Paper

S Alves

Publication

Year of publication: 2018

Volume: 108

Pages: 1-5

Identifiers

Locators

Alternative Titles

Preprint

File