Proof-relevant logical relations for name generation

DOI10.1007/978-3-642-38946-7_6MaRDI QIDQ6829566zbMATH OpenFDO

Authors Nick Benton, Martin Hofmann, Vivek Nigam

Publication date 28 June 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://nbn-resolving.de/urn:nbn:de:bvb:19-epub-66472-2

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Proof-relevant logical relations for name generation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6829566)