Home / Authors / A. M. Ungar

Books by A. M. Ungar

All books by this author

1 books found
Normalization, Cut-Elimination, and the Theory of Proofs (Center for the Study of Language and Information - Lecture Notes)
Normalization, Cut-Elimination, and the Theory of Proofs (C…
By: A. M. Ungar
View Details