DOI10.1017/S0960129505004834zbMath1082.03012MaRDI QIDQ5697712
Lars Birkedal, Rasmus Ejlers Møgelberg
Publication date: 18 October 2005 Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
zbMATH Keywords
categorical models; relational parametricity; second-order \(\lambda\)-calculus; APL-structure
Mathematics Subject Classification ID
03G30: Categorical logic, topoi
03B40: Combinatory logic and lambda calculus