Strongly typed term representations in Coq
From MaRDI portal
Publication:2392480
DOI10.1007/s10817-011-9219-0zbMath1269.68041WikidataQ56851585 ScholiaQ56851585MaRDI QIDQ2392480
Andrew J. Kennedy, Chung-Kil Hur, Nick Benton, Conor McBride
Publication date: 1 August 2013
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-011-9219-0
68N18: Functional programming and lambda calculus
Uses Software