TAS::57 3600::TAS 'THE UNIMATH LIBRARY FOR TYPE THEORY AND PROGRAMMING LANGUAGES'

$170,000FY2017Department of the Air ForceDOD

Institute For Advanced Study - Louis Bamberger & Mrs Felix Fuld Foundation

Investigators