Author(s): Sandra Alves ; Broda,S
Date: 2015
Origin: INESC TEC
Document details
A short note on type-inhabitation: Formula-trees vs. game semantics
Description
This short note compares two different methods for exploring type-inhabitation in the simply typed lambda-calculus, highlighting their similarities.
Document Type
Journal article
Language English
Language English
