Tasnim Hamza

Suggest Changes

Writes About:

Learn More
Linear logic (LL) [9], [10](see Appendix A, B) is the logical foundation of some typetheoretic languages and also of environments for specification and theorem proving. In this paper, we consider the(More)
  • 1