Very Efficient Conversions Morten Welinder? Carnegie Mellon University School of Computer Science 5000 Forbes Avenue, Pittsburgh, PA–15213, USA Email:

First Page		Document Content
Date: 2010-10-22 08:04:53 Logic in computer science Mathematical logic Theoretical computer science Logical consequence Theorem Lambda calculus Rewriting Mathematical proof		Very Efficient Conversions Morten Welinder? Carnegie Mellon University School of Computer Science 5000 Forbes Avenue, Pittsburgh, PA–15213, USA Email: Add to Reading List Source URL: repository.readscheme.org Download Document from Source Website File Size: 173,26 KB Share Document on Facebook