zbMath0949.03031MaRDI QIDQ3837987
Izumi Takeuti
Publication date: 2 August 1998
zbMATH Keywords
parametricity; recursive types; second-order predicate logic; term extraction property
Mathematics Subject Classification ID
68N15: Theory of programming languages
03B70: Logic in computer science
Related Items