Date: 2012-02-20 08:24:14Mathematics Constructible universe Net NC Proof theory Theoretical computer science Abstraction Ordinal numbers CurryHoward correspondence | | Property-Driven Scenario Integration Jewgenij Botaschanjan and Alexander Harhurin Technische Universität München Department of Informatics Boltzmannstr. 3, 85748 Garching, Germany {botascha,harhurin}@in.tum.deAdd to Reading ListSource URL: spes2020.informatik.tu-muenchen.deDownload Document from Source Website File Size: 481,76 KBShare Document on Facebook
|