The University of Iowa

 

News and Events

Aaron Stump Colloquium, "Typed Lambda Calculi and the Semantics of Programs," April 26