|
|
|
|
What are the prereqs to be able to read martin lof?
|
|
2 points
by evrim
4120 days ago
|
|
|
I'm looking for pre books to be able to read martin lof. I'm familiar with denotational/operational semantics, some functional programming, galois theory, algebraic geometry, point set topology, first order logic systems like gentzen, hilbert. thnx in advance. |
|
|