Strong Normalization with Singleton Types Preliminary Version

Popular Tags

No tags have been applied to this document.

Add a tag:

BibTeX | Add To MetaCart

@MISC{Courant_strongnormalization,
    author = {Judical Courant},
    title = {Strong Normalization with Singleton Types Preliminary Version},
    year = {}
}