Locus Solum: From the rules of logic to the logic of rules
Mathematical Structures in Computer Science
Comparing hierarchies of types in models of linear logic
Information and Computation
Sequential algorithms and strongly stable functions
Theoretical Computer Science - Game theory meets theoretical computer science
Theoretical Computer Science - Applied semantics: Selected topics
Definability and Full Abstraction
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Expressiveness of Affine Programs with Non-local Control: The Elimination of Nesting in SPCF
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2005, Selected Papers
Interpreting Localized Computational Effects Using Operators of Higher Type
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Some Programming Languages Suggested by Game Models (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
Concrete Data Structures as Games
Electronic Notes in Theoretical Computer Science (ENTCS)
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Theoretical Computer Science
The elimination of nesting in SPCF
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
On the Expressiveness of Affine Programs with Non-local Control: The Elimination of Nesting in SPCF
Fundamenta Informaticae - Typed Lambda Calculi and Applications 2005, Selected Papers
Hi-index | 0.00 |