A Theory of Objects
Call-by-Value, Call-by-Name and the Logic of Values
CSL '96 Selected Papers from the10th International Workshop on Computer Science Logic
Induction in the Elementary Theory of Types and Names
CSL '87 Proceedings of the 1st Workshop on Computer Science Logic
Journal of Functional Programming
Hi-index | 0.00 |
We show that the addition of name induction to the theory EETJ + (LEM-IN) of explicit elementary types with join yields a theory proof-theoretically equivalent to ID1.