nLab
Peter LeFanu Lumsdaine

Selected writings

Introducing the functional quantum programming language Quipper:

category: people