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