5 results on '"C.-H. Luke Ong"'
Search Results
2. The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recursion Schemes Is Decidable.
3. Evolving Games and Essential Nets for Affine Polymorphism.
4. Modified Realizability Toposes and Strong Normalization Proofs.
5. Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.