Masahito Hasegawa  Home/Search
Context Related
| kurims.kyotou.ac.jp/~ha...tlca99.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: kurims.kyotou.ac.jp/~has...index (more) Homepages: M.Hasegawa |
Rate this article:      (best)Comment on this article |
Abstract: We develop a notion of Kripke-like parameterized logical predicates for two fragments of intuitionistic linear logic (MILL and DILL) in terms of their category-theoretic models. Such logical predicates are derived from the categorical glueing construction combined with the free symmetric monoidal cocompletion. As applications, we obtain full completeness results of translations between linear type theories. (Update)
Context of citations to this paper: More
.... predicates (unary logical relations) for linear logic, which were originally introduced for categorytheoretic models of linear logic [5]. In this note we present the proof in entirely syntactic manner, for making the presentation self contained and also easier to access...
...in our previous work on models of linear type theories can be derived within this axiomatics. 1 Introduction In the previous work [2, 3] we have considered a glueing construction for symmetric monoidal (closed) categories, for studying the logical predicates for models of...
Cited by: More
Classical Linear Logic of Implications - Hasegawa (2002) (Correct)
Denotational Completeness Revisited - Streicher (1998) (Correct)
Type-Directed Specialization of Polymorphism - Ohori (1999) (Correct)
Similar documents (at the sentence level):
11.0%: Categorical Glueing and Logical Predicates for Models of Linear.. - Hasegawa (1999) (Correct)
Active bibliography (related documents): More All
0.6: Higher-Order and Reflexive Action Calculi: Their Type Theory .. - Gardner, Hasegawa (1998) (Correct)
0.5: Categorical Models Of Linear Logic Revisited - Mellies (2002) (Correct)
0.5: Case for Support: Novel type systems for concurrent programming.. - Gay (Correct)
Similar documents based on text: More All
0.3: f!;(g is Full in f!; (g - Masahito Hasegawa Rims (Correct)
0.2: Fibrations, Logical Predicates and Indeterminates - Hermida (1993) (Correct)
0.2: Glueing Algebraic Structures on a 2-Category - Hasegawa (2000) (Correct)
Related documents from co-citation: More All
3: Girard, J-Y. 1987. `Linear Logic'. In: Theoretical Computer Science 59, pp1-102.
2: What is a categorical model of intuitionistic linear logic - Bierman - 1995
2: Categorical glueing and logical predicates for models of linear logic - Hasegawa - 1999
BibTeX entry: (Update)
Hasegawa, M. (1999) Logical predicates for intuitionistic linear type theories. In Typed Lambda Calculi and Applications (TLCA'99), Lecture Notes in Computer Science 1581. Springer-Verlag. http://citeseer.ist.psu.edu/hasegawa99logical.html More
@inproceedings{ hasegawa99logical,
author = "Masahito Hasegawa",
title = "Logical Predicates for Intuitionistic Linear Type Theories",
booktitle = "Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications ({TLCA}'99)",
publisher = "Springer-Verlag",
series = "LNCS",
volume = "1581",
address = "L'Aquila, Italy",
editor = "Jean-Yves Girard",
pages = "198--212",
year = "1999",
url = "citeseer.ist.psu.edu/hasegawa99logical.html" }
Citations (may not include all citations):562 Categories for the Working Mathematician (context) - Lane - 1971
242 Linear logic (context) - Girard - 1987
89 Calculi for interaction - Milner - 1996
77 Dual intuitionistic linear logic (context) - Barber, Plotkin - 1997
66 What is a categorical model of intuitionistic linear logic - Bierman - 1995
28 Notes on sconing and relators - Mitchell, Scedrov - 1992
19 First Order Linear Logic in Symmetric Monoidal Closed Catego.. (context) - Ambler - 1992
17 Linear lambda-calculus and categorical models revisited - Benton, Bierman et al. - 1993
13 From action calculi to linear logic - Barber, Gardner et al. - 1998
11 A universal property of the convolution monoidal structure (context) - Im, Kelly - 1986
11 Full Completeness for Models of Linear Logic (context) - Tan - 1997
9 Bilinear logic in algebra and linguistics (context) - Lambek - 1995
9 Elementary control structures (context) - Power - 1996
8 Models of Lambda Calculi and Linear Logic: Structural - Loader - 1994
8 the runtime complexity of type-directed unboxing - Garrigue, Minamide - 1998
6 Logical Predicates and Indeterminates (context) - Hermida - 1994
5 A characterization of lambda denability in categorical model.. (context) - Alimohamed - 1995
3 Categorical glueing and logical predicates for models of lin.. - Hasegawa - 1999
3 egories et Machines (context) - Lafont - 1988
3 A mixed linear non-linear logic: proofs (context) - Benton - 1995
2 Specication structures and propositions-as-types for concurr.. (context) - Abramsky, Gay et al. - 1996
1 auchli semantics (context) - Blute, Scott et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.kurims.kyoto-u.ac.jp/~hassei/papers/index.html): More
Girard Translation and Logical Predicates - Hasegawa (2000) (Correct)
Types and Models for Higher-Order Action Calculi - Gardner, Hasegawa (1997) (Correct)
Decomposing Typed Lambda Calculus Into a Couple of Categorical.. - Hasegawa (1995) (Correct)
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