xiv PREFACE
( 6) Research Reports
2:00 G. Bellin,
Transforming the proof of the Infinite Ramsey Theorem
2:45 F. Pfenning,
Program development through proof transformations
4:00 M. Beeson,
Some theories conservative over intuitionistic arithmetic
4:45
R.
Statman,
Some interpretations of Scott's theory
LCF
based on a
notion of rate of convergence
Previous Page Next Page