215-680-2138      FacebookLinkedIn 

The dynamic character of type theory quote