Logical Relations in Circuit Verification. - Mia Indrika (ASIAN, 1999)

Do we need dependent types? - Daniel Fridlender; Mia Indrika (J. Funct. Program., 2000)