Books
see page history

Bibliography

  1. Types and Programming Languages

  2. Basic Category Theory for Computer Scientists

  3. Advanced Topics in Types and Programming Languages

See complete bibliography (3)

Personal edit