ΠΣ: Dependent Types without the Sugar

DOI10.1007/978-3-642-12251-4_5zbMath1284.68122OpenAlexW319887929WikidataQ61583818 ScholiaQ61583818MaRDI QIDQ3558328

Could not fetch data.

Publication date: 4 May 2010

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-12251-4_5

Mathematics Subject Classification ID

Could not fetch data.