Posts Tagged ‘Type theory’

More on abstract thinking and computer science

Posted by: Alexandre Borovik on May 29, 2011

Follow

Get every new post delivered to your Inbox.

Join 75 other followers