A simple type-theoretic language: Mini-TT (2009) [pdf](cse.chalmers.se)
cse.chalmers.se
A simple type-theoretic language: Mini-TT (2009) [pdf]
http://www.cse.chalmers.se/~bengt/papers/GKminiTT.pdf
0 comments
—
http://www.cse.chalmers.se/~bengt/papers/GKminiTT.pdf
—