Basic Simple Type Theory > Editions

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

Published August 28th 1997 by Cambridge University Press

1, Hardcover, 200 pages

less detail

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

Published January 21st 2008 by Cambridge University Press

1, Paperback, 200 pages

less detail

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science Book 42)

Published July 31st 1997 by Cambridge University Press

1, Kindle Edition, 200 pages

less detail

[(Basic Simple Type Theory )] [Author: J. Roger Hindley] [Feb-2008]

Published by CAMBRIDGE UNIVERSITY PRESS

Unknown Binding, 0 pages

less detail

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science) 1st edition by Hindley, J. Roger (1997) Hardcover

Published by Cambridge University Press

1, Hardcover, 0 pages

less detail