ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Two applications of analytic functors
Theoretical Computer Science - Special issue on theories of types and proofs
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Dynamic connectors for concurrency
Theoretical Computer Science
Normal forms for algebras of connections
Theoretical Computer Science
Normal Forms for Partitions and Relations
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
A relational model of non-deterministic dataflow
Mathematical Structures in Computer Science
A categorical model for the geometry of interaction
Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
On traced monoidal closed categories
Mathematical Structures in Computer Science
Causal commutative arrows and their optimization
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Labelled Markov Processes: Stronger and Faster Approximations
Electronic Notes in Theoretical Computer Science (ENTCS)
From Geometry of Interaction to Denotational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Partially additive categories and fully complete models of linear logic
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
Polarized proof nets with cycles and fixpoints semantics
TLCA'03 Proceedings of the 6th international conference on Typed lambda calculi and applications
Finite dimensional vector spaces are complete for traced symmetric monoidal categories
Pillars of computer science
Towards a typed geometry of interaction
Mathematical Structures in Computer Science
Towards a geometry of recursion
Theoretical Computer Science
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Functorial boxes in string diagrams
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Journal of Functional Programming - Dedicated to ICFP 2009
Towards a typed geometry of interaction
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
| Hi-index | 0.00 |