| Alternate document: Details Linear Higher-Order Pre-Unification (Extended Abstract) (96) Iliano Cervesato, Frank Pfenning |
Iliano Cervesato and Frank Pfenning Department of Computer Science Carnegie...  Home/Search
Context Related
| stanford.edu/~iliano/paper...ic02.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: stanford.edu/~iliano/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present the linear type theory as the formal basis for LLF, a conservative extenSubmitted to Information & Computation. Comments are welcome! sion of the logical framework LF . LLF combines the expressive power of dependent types with linear logic to permit the natural and concise representation of a whole new class of deductive systems, namely those dealing with state. As an example we encode a version of Mini-ML with mutable references including its type system and its operational ... (Update)
Cited by: More
Natural Deduction for Intuitionistic Non-Commutative Linear.. - Polakow, Pfenning (1999) (Correct)
A judgmental analysis of linear logic - Bor-Yuh Evan Chang (Correct)
Avoiding Causal Dependencies via Proof Irrelevance in a.. - Ley-Wild, Pfenning (2006) (Correct)
Similar documents (at the sentence level):
79.3%: A Linear Logical Framework - Cervesato, Pfenning (1996) (Correct)
70.4%: Article No. - Linear Logical Framework (Correct)
Similar documents based on text:
96.0: Unknown - (Correct)
Related documents from co-citation: More All
62: Theoretical Computer Science (context) - Girard - 1987
37: A framework for defining logics - Harper, Honsell et al. - 1987
35: Logic programming in a fragment of intuitionistic linear logic - Hodas, Miller - 1994
BibTeX entry: (Update)
@inproceedings{ cervesato96linear,
author = "Iliano Cervesato and Frank Pfenning",
title = "A Linear Logical Framework",
booktitle = "Proceedings of the Eleventh Annual Symposium on Logic in Computer Science --- {LICS}'96",
month = "27--30 July",
publisher = "IEEE Computer Society Press",
address = "New Brunswick, New Jersey",
editor = "E. Clarke",
pages = "264--275",
year = "1996",
url = "citeseer.ist.psu.edu/cervesato96linear.html" }
Citations not processed or no citations identified.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://theory.stanford.edu/~iliano/papers/): More
Cryptographically Sound Security Proofs for - Basic And Public-Key (Correct)
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (Correct)
Towards a Notion of Quantitative Security Analysis - Cervesato (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