Mia Indrika

Publication Activity (10 Years)

Years Active: 1999-2000
Publications (10 Years): 0

Publications

Daniel Fridlender, Mia Indrika
Do we need dependent types? J. Funct. Program. 10 (4) (2000)
Mia Indrika
Logical Relations in Circuit Verification. ASIAN (1999)