A short note on type-inhabitation: Formula-trees vs. game semantics
A short note on type-inhabitation: Formula-trees vs. game semantics
Date
2015
Authors
Sandra Alves
Broda,S
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
This short note compares two different methods for exploring type-inhabitation in the simply typed lambda-calculus, highlighting their similarities.