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