Scott, Phil

Cross-Appointed Professor

Email

Research Interests

• Mathematical Logic
• Category Theory
• Foundations of Mathematics and Computing
• Theoretical Computer Science
• Programming Language Theory

Biography

english text