scientific article; zbMATH DE number 4191138

zbMATH Open0722.68077MaRDI QIDQ3210191FDOQ3210191

Authors: N. G. de Bruijn 

Publication date: 1990

Title of this publication is not available (Why is that?)

zbMATH Keywords

Automathverification of formal system

Mathematics Subject Classification ID

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

Cited In (1)

• Telescopic mappings in typed lambda calculus

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)