Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

TLCA
1993
Springer

favoriteEmaildiscussreport

109views Theoretical Computer Science» more TLCA 1993»

Modified Realizability Toposes and Strong Normalization Proofs

13 years 8 months ago

Modified Realizability Toposes and Strong Normalization Proofs

Download www.dpmms.cam.ac.uk

J. M. E. Hyland, C.-H. Luke Ong

Real-time Traffic

Theoretical Computer Science | TLCA 1993 |

claim paper

Related Content

» Proving Strong Normalization of CC by Modifying Realizability Semantics

» Program Extraction From Proofs of Weak Head Normalization

» Extracting Programs from Constructive HOL Proofs Via IZF SetTheoretic Semantics

» A Dependent Set Theory

» A Logical Foundation for Environment Classifiers

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1993
Where	TLCA
Authors	J. M. E. Hyland, C.-H. Luke Ong

Comments (0)