| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 6874287 | Information Processing Letters | 2014 | 4 Pages |
Abstract
We prove subject reduction of the Curry style existential system (â,â) with regard to complete developments. We use here a remote adaptation of the technique of Barbanera et al. used before for systems with union types.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Aleksy Schubert, Ken-etsu Fujita,