scientific article; zbMATH DE number 665901
From MaRDI portal
Publication:4310027
zbMath0900.03044MaRDI QIDQ4310027
Publication date: 24 October 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70)
Related Items (2)
Polymorphic extensions of simple type structures. With an application to a bar recursive minimization ⋮ Verifying programs in the calculus of inductive constructions
This page was built for publication: