REDO — Redesigning Logical Syntax • What is it about ? Proofs are everywhere! — We are trying to improve them. • What is the problem ? Remove bureaucracy but keep the computational content. - Logical syntax - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2009-09-30 09:10:43		REDO — Redesigning Logical Syntax • What is it about ? Proofs are everywhere! — We are trying to improve them. • What is the problem ? Remove bureaucracy but keep the computational content. Add to Reading List Source URL: www.lix.polytechnique.fr Download Document from Source Website File Size: 18,60 KB Share Document on Facebook