827 followers
RT @aloiscochard: Actually, they can exactly do that. https://t.co/04uNfYvOTD https://t.co/CXi8VgymZs
RT @aloiscochard: Actually, they can exactly do that. https://t.co/04uNfYvOTD https://t.co/CXi8VgymZs
RT @aloiscochard: Actually, they can exactly do that. https://t.co/04uNfYvOTD https://t.co/CXi8VgymZs
Checking Polynomial Time Complexity with Types https://t.co/hjVNqznrbR
RT @aloiscochard: Actually, they can exactly do that. https://t.co/04uNfYvOTD https://t.co/CXi8VgymZs