Yüklüyor......
Towards an embedding of Graph Transformation in Intuitionistic Linear Logic
Linear logics have been shown to be able to embed both rewriting-based approaches and process calculi in a single, declarative framework. In this paper we are exploring the embedding of double-pushout graph transformations into quantified linear logic, leading to a Curry-Howard style isomorphism bet...
Kaydedildi:
| Asıl Yazarlar: | , |
|---|---|
| Materyal Türü: | Artigo |
| Dil: | Inglês |
| Baskı/Yayın Bilgisi: |
Open Publishing Association
2009-12-01
|
| Seri Bilgileri: | Electronic Proceedings in Theoretical Computer Science |
| Online Erişim: | http://arxiv.org/pdf/0911.5525v1 |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|