scientific article; zbMATH DE number 2154393

zbMATH Open1063.68090MaRDI QIDQ4664919

Robert Constable

Publication date: 9 April 2005

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

zbMATH Keywords

telescopequotient types

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (1)

Automath and Pure Type Systems

Uses Software

• Nuprl
• Automath
• Title not available (Why is that?)

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 Q4664919)