Mia Indrika

List of publications from the DBLP Bibliography Server - FAQ

2000

2 Daniel Fridlender, Mia Indrika: Do we need dependent types? J. Funct. Program. 10(4): 409-415 (2000)

1999

1 EE Mia Indrika: Logical Relations in Circuit Verification. ASIAN 1999: 151-162

2000
2		Daniel Fridlender, Mia Indrika: Do we need dependent types? J. Funct. Program. 10(4): 409-415 (2000)
1999
1	EE	Mia Indrika: Logical Relations in Circuit Verification. ASIAN 1999: 151-162

Coauthor Index