Books by Dale Miller
Dale Miller
Filter
Proof Theory and Logic Programming
Computation as Proof Search
Dale Miller
Hardcover
Published:
2025