Publication:4637685: Difference between revisions
From MaRDI portal
Publication:4637685
Created automatically from import240129110113 |
EloiFerrer (talk | contribs) m EloiFerrer moved page Proof-Relevant Logical Relations for Name Generation to Proof-Relevant Logical Relations for Name Generation: Duplicate |
(No difference)
|
Latest revision as of 16:07, 2 May 2024
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
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