Foundations of Computer Mathematics.
Please use 'bin'ary mode to ftp compressed .Z or .zip files.
For questions regarding the contents of this directory please contact
Mark Ruys .
Partial contents:
TwoLevel.dvi.Z Two-level approach towards lean proof-checking
TwoLevel.ps.Z same as postscript file
TwoLevelLego.zip Lego source files
unityping-abstract.txt abstract, FSTTCS 13 (Bombay 93) version
unityping-ext-abs.ps.Z extended abstract, FSTTCS 13 (Bombay 93) version
unityping.ps.Z full paper
NijmBRAProc.dvi.Z Informal Proceedings of the BRA workshop Types
for Proofs and Programs, may 1993 (DVI)
NijmegenTypes.ps.Z Informal Proceedings of the BRA workshop Types for
Proofs and Programs, may 1993 (postscript)
ContNijmegenTypes.ps.Z Contents of NijmegenTypes.ps.Z
ThesisGeuvers.ps.Z PhD thesis Herman Geuvers
MThesisRuys.ps.Z Lambda-Pw is not conservative over lambda-P2