| Cv (2007) | |||||||||||||||
Abstract | |||||||||||||||
| algebra, Topology, Functional analysis, Mathematical Logic Statistics Advanced probability theory I & II, Advanced statistics I & II Papers on line Published papers Available at http://www.cse.ogi.edu/~hongwei/publications.html Manuscripts Available at http://www.cse.ogi.edu/~hongwei/manuscripts.html PhD Thesis Hongwei Xi, Dependent Types in Practical Programming, pp viii+189. Refereed Papers Publication in Journals Femke van Raamsdonk, Paula Severi, Morten H. Sorensen and Hongwei Xi, Perpetual Reductions in lambda-calculus, Journal of Information and Computation (to appear). of 6 Refereed Papers (continued) Publication in Journals (continued) Hongwei Xi, Upper Bounds for Standardization and an Application, Journal of Symbolic Logic (to appear). An earlier version with the same title appeared in Proceedings of the 5th Kurt Godel Colloquium, 1997. Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, and Hongwei Xi, TPS: A Theorem Proving System for C... | |||||||||||||||
Details der Publikation | |||||||||||||||
| |||||||||||||||