scientific article; zbMATH DE number 3278867
From MaRDI portal
Publication:5563103
zbMATH Open0174.48401MaRDI QIDQ5563103FDOQ5563103
Authors: N. G. de Bruijn 
Publication date: 1968
Title of this publication is not available (Why is that?)
Cited In (5)
- On preserving the computational content of mathematical proofs: toy examples for a formalising strategy
- From realizability to induction via dependent intersection
- Automath and Pure Type Systems
- Algorithmic theories of problems. A constructive and a non-constructive approach
- Large-scale formal proof for the working mathematician -- lessons learnt from the ALEXANDRIA project
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 Q5563103)
