Parametricity and variants of Girard's J operator (1999)

by Robert Harper , John C. Mitchell
Citations:1 - 0 self