MS 070 Guide to R. Lee Clark, MD Paper, 1929-1986

Lee Clark’s personal papers, Series I, contain financial documents, family correspondence from relatives throughout Texas, lists of purchases including various cars, information on houses and repairs, ideas for his ranch and considerations about other land purchases. See more at https://archives.library.tmc.edu/ms-070

Normalization by evaluation for call-by-push-value and polarized lambda calculus

We observe that normalization by evaluation for simply-typed lambda-calculus with weak coproducts can be carried out in a weak bi-cartesian closed category of presheaves equipped with a monad that allows us to perform case distinction on neutral terms of sum type. The placement of the monad influences the normal forms we obtain: for instance, placing the monad on coproducts gives us eta-long beta-pi normal forms where pi refers to permutation of case distinctions out of elimination positions. We further observe that placing the monad on every coproduct is rather wasteful, and an optimal placement of the monad can be determined by considering polarized simple types inspired by focalization. Polarization classifies types into positive and negative, and it is sufficient to place the monad at the embedding of positive types into negative ones. We consider two calculi based on polarized types: pure call-by-push-value (CBPV) and polarized lambda-calculus, the natural deduction calculus corresponding to focalized sequent calculus. For these two calculi, we present algorithms for normalization by evaluation. We further discuss different implementations of the monad and their relation to existing normalization proofs for lambda-calculus with sums. Our developments have been partially formalized in the Agda proof assistant

Research on optimal control, stabilization and computational algorithms for aerospace applications

The research carried out in the areas of optimal control and estimation theory and its applications under this grant is reviewed. A listing of the 257 publications that document the research results is presented

Annual Report of the University, 1976-1977, Volumes 1-4

The University of New Mexico again fielded intercollegiate teams in 13 sports in 197&-77 school year. Two individuals won national championships. One athlete won an NCAA Postgraduate scholarship and seven Lobo athletes were accorded All America status. The total of all varsity athletics at UNM drew 411,906 spectators to home events. The basketball team ranked second in the nation in home attendance. Football attendance increased 18 per cent and season ticket sales for football jumped almost 50 per cent. The Lobo football team generated additional revenue by appearing on an ABC telecast against Brigham Young in Albuquerque in November

Annual Report of the University, 1979-1980, Volumes 1-5

Athletics at the University of New Mexico sunk to the lowest of depths in 1979-80, but the turbulent year will also be remembered as the renaissance a rebirth\u27 for the department. Scandal of national magnitude struck the trumpeted Lobo basketball program from all angles. First the NCAA handed down several accusations, followed shortly by an FBI investigation into the altering of player transcripts. Head Coach Norm Ellenberger was terminated and his assistant Manny Goldstein resigned under pressure. Ellenberger is scheduled to go before federal court June 16 on charges of mail fraud, wire fraud and interstate racketeering. UNM attorney Peter Johnstone has compiled an 800-page response to the 92 violations handed down by the NCAA infractions committee and UNM officials are scheduled to meet with the committee in Chicago in July.\u2

Missouri S&T Magazine, August 1984

https://scholarsmine.mst.edu/alumni-magazine/1347/thumbnail.jp

Missouri S&T Magazine, August 1984

https://scholarsmine.mst.edu/alumni-magazine/1347/thumbnail.jp