Hardback (01 Jan 1988)
Not available for sale
Includes delivery to the United States
Out of stock
The computational logic PX (Program eXtractor) is used to verify programs, extract programs from constructive proofs, and give foundations to type theories. While it is well known theoretically that programs can be extraced from constructive proofs, this study shows how it can be done in practice. The authors give a precise description of the forma
| ISBN: | 9780262081740 |
| Publisher: | MIT Press |
| Imprint: | The MIT Press |
| Pub date: | 01 Jan 1988 |
| DEWEY: | 511.3 |
| DEWEY edition: | 18 |
| Language: | English |
| Number of pages: | 200 |
| Weight: | 544g |
| Height: | 35mm |
| Width: | 57mm |
| Spine width: | 17mm |
$10.26off
Paperback
Published 17 Aug 2021
Save $10.26
$8.23off
Hardback
Published 05 Oct 2023
Save $8.23
$3.75off
Paperback
Published 07 Aug 2023
Save $3.75
$21.25off
Paperback
Published 02 Nov 2023
Save $21.25
$1.70off
Paperback
Published 31 May 2023
Save $1.70
$2.15off
Paperback
Published 31 May 2023
Save $2.15
$11.11off
Paperback
Published 03 Jun 2023
Save $11.11
$3.26off
Paperback
Published 28 Aug 2023
Save $3.26
$12.40off
Hardback
Published 09 Nov 2023
Save $12.40
