evrim
- Karma
- 3
- Created
- April 7, 2011 (15y ago)
- Submissions
- 0
-
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…
- Coretal v4 - next generation web services on core-server (coretal.net)