University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 8551–8580 of 18,174 items
Thumbnail for Strong normalization for System F by HOAS on top of FOAS
Strong normalization for System F by HOAS on top of FOAS
Popescu, Andrei; Gunter, Elsa L.; Osborn, Christopher J.

Thumbnail for Construction Procedures in Two Demonstration Houses
Construction Procedures in Two Demonstration Houses
Harrell, Raymon H.; Lendrum, James T.