102
click to vote
AML
1998
15 years 2 months ago
1998
A natural deduction system NDIL described here admits normalization and has subformula prop
126
click to vote
AML
1998
15 years 2 months ago
1998
The paper builds on both a simply typed term system PRω and a computation model on Scott domains via so-called parallel typed while programs (PTWP). The former provides a notion ...