Blute, R.F., Scott, P.J. (1996), Linear Lauchli semantics, Ann. Pure Appl. Logic 77, 229-296. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Logical Predicates for Intuitionistic Linear Type Theories - Hasegawa (1999) (2 citations) (Correct)
....Predicates Our treatment of logical predicates in category theoretic framework is inspired by Hermida s work on brations and logical predicates [14] and also in uenced by Mitchell and others work, in particular [21] However, all these results are for typed lambda calculi. Blute and Scott [9] do consider a linear variant, and the intuition behind their work seems close to ours, though their work is on classical linear logic and better understood in connection with Tan s recent work (see below) We also note that Ambler [3] has studied some relevant idea. The fact that our construction ....
Blute, R.F., Scott, P.J. (1996), Linear Lauchli semantics, Ann. Pure Appl. Logic 77, 229-296.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC