Projects top banner

A short note on type-inhabitation: Formula-trees vs. game semantics

Information Processing Letters

Article

S. Alves

Publication

Year of publication: 2015

Volume: 115

Issue: 11

Pages: 908-911

Identifiers

Other: 2-s2.0-84930023335

Locators

Alternative Titles

Preprint

File