Proofnets and Context Semantics for the Additives
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Elementary Complexity and Geometry of Interaction
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Sequentiality vs. concurrency in games and logic
Mathematical Structures in Computer Science
Geometry of Interaction and linear combinatory algebras
Mathematical Structures in Computer Science
Locus Solum: From the rules of logic to the logic of rules
Mathematical Structures in Computer Science
Elementary structures in process theory (1): Sets with renaming
Mathematical Structures in Computer Science
Unique decomposition categories, Geometry of Interaction and combinatory logic
Mathematical Structures in Computer Science
Generation, Lambek calculus, Montague's semantics and semantic proof nets
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 2
A structural approach to reversible computation
Theoretical Computer Science
A categorical model for the geometry of interaction
Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
Quantitative Game Semantics for Linear Logic
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
From Geometry of Interaction to Denotational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
A Concurrent Model for Linear Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
A token machine for full geometry of interaction
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
Parallel implementation models for the λ-calculus using the geometry of interaction
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
Towards a typed geometry of interaction
Mathematical Structures in Computer Science
Towards a geometry of recursion
Theoretical Computer Science
Musings around the geometry of interaction, and coherence
Theoretical Computer Science
Geometry of Interaction V: Logic in the hyperfinite factor
Theoretical Computer Science
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
Towards a typed geometry of interaction
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Elementary Complexity and Geometry of Interaction
Fundamenta Informaticae - Typed Lambda Calculi and Applications (TLCA'99)
Hi-index | 0.00 |