scientific article

From MaRDI portal

Publication:2871871

Jump to:navigation, search

zbMath1278.03057MaRDI QIDQ2871871

Paul Callaghan

Publication date: 10 January 2014

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

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

zbMATH Keywords

implementation type theory coercive subtyping inductive families

Mathematics Subject Classification ID

Logic in computer science (03B70)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2871871&oldid=15814199"