Automath, a language for checking mathematics with a computer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Tagung über formale Sprachen (Oberwolfach, Germany, August 30-September 5, 1970)
Place of Publication	Bonn
Publisher	Gesellschaft für Mathematik und Datenverarbeitung
Pages	27-29
Publication status	Published - 1970

Cite this

@inproceedings{c398556a074e49a193d5035ae32aaa79,

title = "Automath, a language for checking mathematics with a computer",

author = "R.P. Nederpelt",

year = "1970",

language = "English",

pages = "27--29",

booktitle = "Tagung {\"u}ber formale Sprachen (Oberwolfach, Germany, August 30-September 5, 1970)",

publisher = "Gesellschaft f{\"u}r Mathematik und Datenverarbeitung",

}