scientific article

zbMath0978.68044MaRDI QIDQ2769425

Olivier Pons, Gilles Barthe

Publication date: 5 February 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2030/20300057

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Procedural representation of CIC proof terms, Ornaments for Proof Reuse in Coq, Second-order type isomorphisms through game semantics, Analogy in Automated Deduction: A Survey, Remarks on Isomorphisms of Simple Inductive Types, Remarks on isomorphisms in typed lambda calculi with empty and sum types, Unnamed Item, Tool Support for Proof Engineering

Uses Software

• Plastic
• LEGO