scientific article; zbMATH DE number 4191138

MaRDI QIDQ3210191zbMATH OpenFDO

Authors N. G. de Bruijn

Publication date 1990

zbMATH Keywords

Automathverification of formal system

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Other applications of logic (03B80) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(1)

• Telescopic mappings in typed lambda calculus

Describes a project that uses

Uses Software

• Automath

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3210191)