Type Theory and the Informal Language of Mathematics (0)

Cached

Download Links

by Aarne Ranta
Venue:in Proceedings of the 1993 Types Worshop, Nijmegen, LNCS 806
Citations:7 - 0 self