Sciweavers

CORR
2008
Springer

Exhaustible sets in higher-type computation

14 years 16 days ago
Exhaustible sets in higher-type computation
Martín Hötzel Escardó
Added 09 Dec 2010
Updated 09 Dec 2010
Type Journal
Year 2008
Where CORR
Authors Martín Hötzel Escardó
Comments (0)