From petri nets to linear logic (English)
National licence
- New search for: Martí-Oliet, Narciso
- New search for: Meseguer, José
- New search for: Martí-Oliet, Narciso
- New search for: Meseguer, José
In:
Category Theory and Computer Science
;
313-340
;
1989
- Article/Chapter (Book) / Electronic Resource
-
Title:From petri nets to linear logic
-
Contributors:Martí-Oliet, Narciso ( author ) / Meseguer, José ( author )
-
Published in:Category Theory and Computer Science ; 313-340Lecture Notes in Computer Science ; 389 ; 313-340
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:1989-01-01
-
Size:28 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspectiveLongo, Guiseppe et al. | 1989
- 5
-
An algebraic view of interleaving and distributed operational semantics for CCSMontanari, Ugo / Yankelevich, Daniel N. et al. | 1989
- 21
-
Temporal structuresCasley, Ross / Crew, Roger F. / Meseguer, José / Pratt, Vaughan et al. | 1989
- 52
-
Compositional relational semantics for indeterminate dataflow networksStark, Eugene W. et al. | 1989
- 75
-
Operations on recordsCardelli, Luca / Mitchell, John C. et al. | 1989
- 82
-
Projections for polymorphic strictness analysisHughes, John et al. | 1989
- 101
-
A category-theoretic account of program modulesMoggi, Eugenio et al. | 1989
- 118
-
A note on categorical datatypesWralth, G. C. et al. | 1989
- 128
-
A set constructor for inductive sets in Martin-Löf's type theoryPetersson, Kent / Synek, Dan et al. | 1989
- 141
-
Independence results for calculi of dependent typesStreicher, Thomas et al. | 1989
- 155
-
Quantitative domains, groupoids and linear logicTaylor, Paul et al. | 1989
- 182
-
Graded multicategories of polynomial-time realizersSeely, R. A. G. et al. | 1989
- 198
-
On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versaJacobs, Bart et al. | 1989
- 213
-
DictosesEhrhard, Thomas et al. | 1989
- 224
-
Declarative continuations: An investigation of duality in programming language semanticsFilinski, Andrzej et al. | 1989
- 250
-
Logic representation in LFHarper, Robert / Sannella, Donald / Tarlecki, Andrzej et al. | 1989
- 273
-
Unification properties of commutative theories: A categorical treatmentBaader, Franz et al. | 1989
- 300
-
An abstract formulation for rewrite systemsPower, A. J. et al. | 1989
- 313
-
From petri nets to linear logicMartí-Oliet, Narciso / Meseguer, José et al. | 1989
- 341
-
A dialectica-like model of linear logicPaiva, Valeria C. V. et al. | 1989
- 357
-
A final coalgebra theoremAczel, Peter / Mendler, Nax et al. | 1989