Search - List of Books by H. Simmons

Total Books: 3
Derivation and Computation  Taking the Curry-Howard correspondence seriously
2000 - Derivation and Computation Taking the Curry-howard Correspondence Seriously [Cambridge Tracts in Theoretical Computer Science] (Hardcover)
ISBN-13: 9780521771733
ISBN-10: 0521771730
Genres: Computers & Technology, Science & Math, Engineering & Transportation, Substores
  ?

Derivatives Nuclei and Dimensions on the Frame of Torsion Theories
Derivatives Nuclei and Dimensions on the Frame of Torsion Theories [Pitman Research Notes in Mathematics Series] (Paperback)
ISBN-13: 9780582034488
ISBN-10: 0582034485
  ?

Orthodoxy in Australia [Nicholas E. Kulukundis Lectures in the History of Hellenism] (Paperback)