The mathematical vernacular, a language for mathematics with typed sets

N.G. Bruijn, de

The mathematical vernacular, a language for mathematics with typed sets

N.G. Bruijn, de

Research output: Book/Report › Report › Popular

163 Downloads (Pure)

Original language	English
Place of Publication	Göteborg
Publisher	University of Göteborg
Number of pages	37
Publication status	Published - 1987

Bibliographical note

Proceedings of the workshop on programming logic / ed. by Peter Dybjer, Bengt Nordstrom, Kent Petersson ... [et al.]. - Goteborg : University of Goteborg, 1987

Access to Document

599592Final published version, 2.86 MB

Cite this

@book{ee677f54d5ef4a6dbb09bfda4889e5be,

title = "The mathematical vernacular, a language for mathematics with typed sets",

author = "\{Bruijn, de\}, N.G.",

note = "Proceedings of the workshop on programming logic / ed. by Peter Dybjer, Bengt Nordstrom, Kent Petersson ... [et al.]. - Goteborg : University of Goteborg, 1987",

year = "1987",

language = "English",

publisher = "University of G{\"o}teborg",

}

TY - BOOK

T1 - The mathematical vernacular, a language for mathematics with typed sets

AU - Bruijn, de, N.G.

N1 - Proceedings of the workshop on programming logic / ed. by Peter Dybjer, Bengt Nordstrom, Kent Petersson ... [et al.]. - Goteborg : University of Goteborg, 1987

PY - 1987

Y1 - 1987

M3 - Report

BT - The mathematical vernacular, a language for mathematics with typed sets

PB - University of Göteborg

CY - Göteborg

ER -