A refinement of de Bruijn's formal language of mathematics
type: Item
instance of: scholarly article
title: A refinement of de Bruijn's formal language of mathematics
zbMATH Open document ID: 1048.03011
author: Fairouz Kamareddine
author: Rob Nederpelt
published in: Journal of Logic, Language and Information
publication date: 2004-08-16T00:00:00Z
Mathematics Subject Classification ID: 03B30
Mathematics Subject Classification ID: 00A35
zbMATH DE Number: 2091585
zbMATH Keywords: formal language
zbMATH Keywords: mathematical vernacular
zbMATH Keywords: weak type theory
describes a project that uses: Theorema
describes a project that uses: Mizar
describes a project that uses: Automath
describes a project that uses: Coq
describes a project that uses: PVS
describes a project that uses: Nuprl
MaRDI profile type: Publication
full work available at URL: b:jlli.0000028393.47593.b8
OpenAlex ID: W1988573483
DOI: 10.1023/B:JLLI.0000028393.47593.B8
description: scientific article; zbMATH DE number 2091585