Fibrational control structures
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 117-129
- https://doi.org/10.1007/3-540-60218-6_9
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Control structuresPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Interaction Categories and the Foundations of Typed Concurrent ProgrammingPublished by Springer Nature ,1996
- Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculiMathematical Structures in Computer Science, 1995
- Fibrational control structuresPublished by Springer Nature ,1995
- A Name-free Account of Action CalculiElectronic Notes in Theoretical Computer Science, 1995
- Action calculi, or syntactic action structuresPublished by Springer Nature ,1993
- Petri nets are monoidsInformation and Computation, 1990
- Categories for the Working MathematicianPublished by Springer Nature ,1971