Sciweavers

Share
ENTCS
2000

Writing Constructive Proofs Yielding Efficient Extracted Programs

8 years 10 months ago
Writing Constructive Proofs Yielding Efficient Extracted Programs
The NuPRL system [3] was designed for interactive writing of machine
Aleksey Nogin
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2000
Where ENTCS
Authors Aleksey Nogin
Comments (0)
books