Authenticus:P-00G-FE1 | CMUP

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

Information Processing Letters | 2015 | article

Publication

Year of publication: 2015

Volume : 115

Pages : 908-911

Month :

CMUP publication : Yes

Authors

S Alves