Hi,
What does it mean exactly to say that type checking is decidable in intensional type theory ?
Thanks
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
1
|
|
|
|
|
1
|
Hi, What does it mean exactly to say that type checking is decidable in intensional type theory ? Thanks |
||
|
|
