The mathematical vernacular, a language for mathematics with typed sets. In: Workshop on Programming Logic (1987), reprinted in [10, F.3 (2006)

by N de Bruijn
Venue:University of Bia