Proof-Relevant Logical Relations for Name Generation

DOI10.23638/LMCS-14(1:25)2018zbMath1459.68041arXiv1708.05193MaRDI QIDQ4637685

Vivek Nigam, Martin Hofmann, Nick Benton

Publication date: 25 April 2018

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

Full work available at URL: https://arxiv.org/abs/1708.05193

zbMATH Keywords

program transformation; logical relations; parametricity

Mathematics Subject Classification ID

68N15: Theory of programming languages

68N18: Functional programming and lambda calculus

03B70: Logic in computer science

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• Freshml