scientific article; zbMATH DE number 1927427

zbMath1013.68198MaRDI QIDQ4484345

Aleksey Nogin

Publication date: 12 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2410/24100263.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (6)

A language with type-dependent equality ⋮ Quotients of Bounded Natural Functors ⋮ Invariants for the FoCaL language ⋮ Quotients by Idempotent Functions in Cedille ⋮ Unnamed Item ⋮ Formalizing Type Operations Using the “Image” Type Constructor

This page was built for publication: