0
Close menu
SmartSellTM - The New Way to sell Online
we won't be beaten by anyone
Categories
Books
Music
Movies & TV
Best Sellers
Track My Order
Sign in
Register
Wishlist
Cart
0
USD
Sign in
Join
Browse
Wishlist
Help
All Products
Books
Movies
Music
All Products
\n
Books
Movies
Music
Books
Warehouse Stock Clearance Sale
Grab a bargain today!
Categories
Books
Best Sellers
Coming Soon
New Releases
Books
Music
Movies & TV
Track My Order
Sign in
Register
Wishlist
0
Cart
USD
Search
All Products
Books
Filters
Refine By
Category
Category
Computers
(6)
Science
(5)
Professional & Vocational
(2)
Fiction & Literature
(1)
Arts & Photography
(1)
Sold By
Sold By
All Sellers
Fishpond
(6)
Format
Format
All Formats
Paperback
(5)
Hardback
(1)
Results for "Peter Dybjer"
Peter Dybjer
6 results
Filters
Refine By
Category
Category
Computers
(6)
Science
(5)
Professional & Vocational
(2)
Fiction & Literature
(1)
Arts & Photography
(1)
Sold By
Sold By
All Sellers
Fishpond
(6)
Format
Format
All Formats
Paperback
(5)
Hardback
(1)
6 results
Sort By
Bestselling
Relevance
Price: Lowest
Bestselling
Relevance
Price: Lowest
Sort By
View:
Safe Search(
?
):
Semantics and Logics of Computation (Publications of the Newton Institute)
By
Andrew M. Pitts
,
Peter Dybjer
Semantics and Logics of Computation (Publications of the Newton Institute)
By
Andrew M. Pitts
,
Peter Dybjer
$47.95
Elsewhere
$54.29
Save $6.34 (12%)
Semantics and Logics of Computation (Publications of the Newton Institute)
By
Andrew M. Pitts
,
Peter Dybjer
Semantics and Logics of Computation (Publications of the Newton Institute)
By
Andrew M. Pitts
,
Peter Dybjer
$126
Elsewhere
$161.63
Save $35.63 (22%)
Types for Proofs and Programs (Third International Workshop, TYPES '99, Leokeberg, Sweden, June 12-16, 1999 : Selected Papers (Lecture Notes in Computer Science))
By
Thierry Coquand
,
Peter Dybjer
,
Bengt Nordström
,
Jan Smith
Types for Proofs and Programs (Third International Workshop, TYPES '99, Leokeberg, Sweden, June 12-16, 1999 : Selected Papers (Lecture Notes in Computer Science))
By
Thierry Coquand
,
Peter Dybjer
,
Bengt Nordström
,
Jan Smith
$63.45
Applied Semantics (International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : Advanced Lectures (Lecture Notes in Computer Science))
By
Gilles Barthe
,
Peter Dybjer
,
Luis Pinto
,
Joao Saraiva
Applied Semantics (International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : Advanced Lectures (Lecture Notes in Computer Science))
By
Gilles Barthe
,
Peter Dybjer
,
Luis Pinto
,
Joao Saraiva
$64.61
Category Theory and Computer Science (Manchester, UK, September 5-8, 1989, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
David H. Pitt
,
David E. Rydeheard
,
Peter Dybjer
,
Andrew M. Pitts
Category Theory and Computer Science (Manchester, UK, September 5-8, 1989, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
David H. Pitt
,
David E. Rydeheard
,
Peter Dybjer
,
Andrew M. Pitts
$64.36
Types for Proofs and Programs (International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science))
By
Peter Dybjer
,
Bengt Nordstrom
,
Jan Smith
Types for Proofs and Programs (International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science))
By
Peter Dybjer
,
Bengt Nordstrom
,
Jan Smith
$63.72
We use essential and some optional cookies to provide you the best shopping experience. Visit our
cookies policy page
for more information.
Accept all cookies
Accept only essential cookies