Higher-order linear logic
Subject: Higher-order linear logic
From: Daniel Wang <danwang@CS.Princeton.EDU>
Date: 09 Mar 2001 16:19:52 -0500
In-Reply-To: Peter Thiemann's message of "Fri, 9 Mar 2001 15:45:24 +0100 (CET)"
Does anyone have any pointers for higer-order linear logics?
i.e. something like Church's higher-order logic with linear
implication and linear abstraction? i.e. F-Omega with linear
implication, and linear type constructors? Have people studied such
systems and are they even sensible?