Proof-Relevant Logical Relations for Name Generation

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/978-3-642-38946-7_6 ◽

2013 ◽

pp. 48-60 ◽

Cited By ~ 5

Author(s):

Nick Benton ◽

Martin Hofmann ◽

Vivek Nigam

Download Full-text