scientific article

zbMath1278.03060MaRDI QIDQ2871879

William Lovas, Frank Pfenning

Publication date: 10 January 2014

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066108000418?np=y

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

zbMATH Keywords

dependent typesintersection typessubtypingrefinement typesLF

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70)

Related Items

Refinement Types as Proof Irrelevance

Uses Software

• Twelf
• Forsythe

This page was built for publication: