Topics covered include: proof theory and specification of computation (J.-Y. Girard, D. Miller), complexity of proofs and programs (S. R. Buss, S. S. Wainer), computational content of proofs (H. Schwichtenberg), constructive type theory (P. Aczel, H. Barendregt, R. L. Constable), computational mathematics, (U. Martin), rewriting logic (J. Meseguer), and game semantics (S. Abramski).
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 448
Weight: 700 g
Dimensions: 235 x 155 x 24 mm
Edition: Softcover reprint of the original 1st ed. 199
You may also be interested in...
Please sign in to write a review