Unwinding of proofs
Title: Unwinding of proofs Speaker: Pedro Pinto (TU Darmstadt) Abstract: The unwinding of proofs program dates back to Kreisel in the fifties and rests on the following broad question: “What …
Loading view.
Master's program at the Faculty of Mathematics and Computer Science, University of Bucharest