Books by H. Simmons
H. Simmons
Filter
Derivation and Computation
Taking the Curry-Howard Correspondence Seriously
H. Simmons
Hardcover
Published:
2000