Date: 2008-12-22 16:55:21

The Strength of Martin-Löf Type Theory with the Logical Framework (Work in Progress) Anton Setzer Swansea University, UK 1.

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 297,81 KB