search for books and compare prices
Thomas Streicher has written 2 work(s)
Search for other authors with the same name
displaying 1 to 2 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Domain-Theoretic Foundations of Functional Programming
By Thomas Streicher
See complete details on each edition (1 edition listed)

Hardcover:

9789812701428 | World Scientific Pub Co Inc, December 4, 2006, cover price $45.00

Semantics of Type Theory: Correctness, Completeness, and Independence Results
cover image for 9781461267577
An exploration of the categorical semantics of theories of dependent and polymorphic types, using the example of Coquand and Huet's calculus of constructions. The application of constructive mathematics to the problem of defining functional computer programming languages should interest mathematicia
By Thomas Streicher
See complete details on each edition (2 editions listed)

Hardcover:

9780817635947 | Birkhauser, October 1, 1991, cover price $99.00 | About this edition: An exploration of the categorical semantics of theories of dependent and polymorphic types, using the example of Coquand and Huet's calculus of constructions.

Paperback:

9781461267577, titled "Semantics of Type Theory: Correctness, Completeness and Independence Results" | Birkhauser, October 29, 2012, cover price $119.00

displaying 1 to 2 | at end