Home / Authors / H. Simmons

Books by H. Simmons

All books by this author

1 books found
Derivation and Computation: Taking the Curry-Howard correspondence seriously (Cambridge Tracts in Theoretical Computer Science)
Derivation and Computation: Taking the Curry-Howard corresp…
By: H. Simmons
View Details