scientific article; zbMATH DE number 1927428

zbMath1013.68199MaRDI QIDQ4484346

Jason Hickey, Aleksey Nogin

Publication date: 12 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2410/24100281.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

Formal compiler construction in a logical framework ⋮ Formalizing Type Operations Using the “Image” Type Constructor

Uses Software

• MetaPRL

This page was built for publication: