[Prev][Next][Index][Thread]
Higher-order linear logic
-
To: types@cis.upenn.edu
-
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?