Type Theory People (First 2 people) - Page 0

Luca Cardelli

Italian computer scientist

Conor McBride

Computer scientist