Adequacy for Algebraic Effects with State (English)
- New search for: Plotkin, Gordon
- New search for: Plotkin, Gordon
In:
Algebra and Coalgebra in Computer Science
1
;
51
;
2005
- Article/Chapter (Book) / Electronic Resource
-
Title:Adequacy for Algebraic Effects with State
-
Contributors:Plotkin, Gordon ( author )
-
Published in:Lecture Notes in Computer Science ; 3629, 1 ; 51
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2005-01-01
-
Size:1 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
-
Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed CategoriesAbramsky, Samson et al. | 2005
- 30
-
Labels from Reductions: Towards a General TheoryKlin, Bartek / Sassone, Vladimiro / Sobociński, Paweł et al. | 2005
- 51
-
Adequacy for Algebraic Effects with StatePlotkin, Gordon et al. | 2005
- 52
-
Bisimilarity Is Not Finitely Based over BPA with InterruptAceto, Luca / Fokkink, Wan / Ingolfsdottir, Anna / Nain, Sumit et al. | 2005
- 67
-
Algebra ∩ Coalgebra = PresheavesAdámek, J. et al. | 2005
- 83
-
Strong Splitting Bisimulation EquivalenceBergstra, J. A. / Middelburg, C. A. et al. | 2005
- 98
-
Complete Axioms for Stateless ConnectorsBruni, Roberto / Lanese, Ivan / Montanari, Ugo et al. | 2005
- 114
-
On the Semantics of Coinductive Types in Martin-Löf Type TheoryMarchi, Federico et al. | 2005
- 127
-
Look: Simple Stochastic Relations Are Just, Well, SimpleDoberkat, Ernst-Erich et al. | 2005
- 142
-
Modelling Fusion Calculus using HD-AutomataFerrari, Gianluigi / Montanari, Ugo / Tuosto, Emilio / Victor, Björn / Yemane, Kidane et al. | 2005
- 157
-
An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOLFox, Anthony et al. | 2005
- 175
-
Using Proofs by Coinduction to Find “Traditional” ProofsGrabmayer, Clemens et al. | 2005
- 194
-
From T-Coalgebras to Filter Structures and Transition SystemsGumm, H. Peter et al. | 2005
- 213
-
Context-Free Languages via Coalgebraic Trace SemanticsHasuo, Ichiro / Jacobs, Bart et al. | 2005
- 232
-
Towards a Coalgebraic Semantics of the Ambient CalculusHausmann, Daniel / Mossakowski, Till / Schröder, Lutz et al. | 2005
- 247
-
The Least Fibred Lifting and the Expressivity of Coalgebraic Modal LogicKlin, Bartek et al. | 2005
- 263
-
Ultrafilter Extensions for CoalgebrasKupke, C. / Kurz, A. / Pattinson, D. et al. | 2005
- 278
-
Equational Logic of Recursive Program SchemesMersch, John G. et al. | 2005
- 293
-
The Category Theoretic Solution of Recursive Program SchemesMilius, Stefan / Moss, Lawrence S. et al. | 2005
- 313
-
A Categorical Approach to SimulationsPalomino, Miguel / Meseguer, José / Martí-Oliet, Narciso et al. | 2005
- 331
-
Behavioral Extensions of InstitutionsPopescu, Andrei / Roşu, Grigore et al. | 2005
- 348
-
Discrete Lawvere TheoriesPower, John et al. | 2005
- 364
-
Final Semantics for Event-Pattern Reactive ProgramsSánchez, César / Sipma, Henny B. / Slanina, Matteo / Manna, Zohar et al. | 2005
- 379
-
Complete Symbolic Reachability Analysis Using Back-and-Forth NarrowingThati, Prasanna / Meseguer, José et al. | 2005
- 395
-
Final Sequences and Final Coalgebras for Measurable SpacesViglizzo, Ignacio D. et al. | 2005
- 408
-
Bireachability and Final MultialgebrasWalicki, Michał et al. | 2005
- 424
-
Parametrized ExceptionsWalter, Dennis / Schröder, Lutz / Mossakowski, Till et al. | 2005
- 439
-
Property Preserving Redesign of SpecificationsZawłocki, Artur / Marczyński, Grzegorz / Kosiuczenko, Piotr et al. | 2005