# Intuitionistic Linear Logic

I am currently going through some papers that use the "intuitionistic version" of Girard's Linear Logic. The problem is that I seem to find very little literature on it. There is a lot done on Linear Logic but I specifically wanted some introduction to its intuitionistic version (why did it come up, historical context, etc.). Any recommendations would be helpful!

• Sílvia? xD${{}}$ – Git Gud Apr 11 '14 at 16:02
• indeed! do i know you...? – essay Apr 11 '14 at 19:00
• Doesn't my nickname ring a bell? ^_^ Hint: I played chess today. – Git Gud Apr 11 '14 at 19:17
• ha, i know who you are! (sorry about the delay. and about your chess game :P) but i am clueless about your nickname anyway... – essay Apr 17 '14 at 13:04