Sciweavers

CORR
2008
Springer

Exhaustible sets in higher-type computation

13 years 11 months 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)