Relational Parametricity for Computational Effects
From MaRDI portal
Publication:3395102
DOI10.2168/LMCS-5(3:7)2009zbMath1168.68009arXiv0906.5488MaRDI QIDQ3395102
Alex K. Simpson, Rasmus Ejlers Møgelberg
Publication date: 20 August 2009
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0906.5488
03B70: Logic in computer science
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)