scientific article; zbMATH DE number 2063221

zbMath1039.03022MaRDI QIDQ4460836

Iman Hafiz Poernomo, John N. Crossley, Bolis Basit, John S. Jeavons

Publication date: 29 March 2004

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

zbMATH Keywords

Curry-Howard isomorphismcomputational type theoryautomatically extracting programs from proofscycles in even parity graphs

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Nuprl

This page was built for publication: