The Logic of Programming Languages
Program
Fulbright Visiting Scholar Program
Grant Activity Type
Lecturer, Research
Dates
-
Scholar type
Non-U.S. (Visiting) Scholar
Project Title
The Logic of Programming Languages
Scholar Information
Title
Professor of Mathematics
Department
Department of Mathematics
Host Institutions
Faculty
Dr. Solomon Feferman
Host Department
Department of Mathematics