Types for Proofs and Programs : International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999, Selected Papers, PDF eBook

Types for Proofs and Programs : International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999, Selected Papers PDF

Edited by Thierry Coquand, Peter Dybjer, Bengt Nordstrom, Jan Smith

Part of the Lecture Notes in Computer Science series

PDF

Download Now
  • Information

Information

Save 15%

£44.99

£38.24

Download Now
Add to Basket
Sign in to add to wishlist

Information

Also in the Lecture Notes in Computer Science series

Information Security Practice and Experience : 18th International Conference, ISPEC 2023, Copenhagen, Denmark, August 24-25, 2023, Proceedings

Information Security Practice and Experience

Weizhi Meng

£79.50

£67.58

Add to Basket
Euro-Par 2023: Parallel Processing Workshops : Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 – September 1, 2023, Revised Selected Papers, Part II

Euro-Par 2023: Parallel Processing Workshops

Demetris Zeinalipour

£49.99

£37.28

Add to Basket
Euro-Par 2023: Parallel Processing Workshops : Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 - September 1, 2023, Revised Selected Papers, Part II

Euro-Par 2023: Parallel Processing Workshops

Demetris Zeinalipour

£49.99

£42.49

Add to Basket
Distributed Computer and Communication Networks: Control, Computation, Communications : 26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023, Revised Selected Papers

Distributed Computer and Communication Networks: Control, Computation,...

Vladimir M. Vishnevskiy

£69.99

£59.49

Add to Basket