Two applications of analytic functors
Theoretical Computer Science - Special issue on theories of types and proofs
Axiomatizing Fully Complete Models for ML Polymorphic Types
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Quantitative Semantics Revisited
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Logical Predicates for Intuitionistic Linear Type Theories
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Building Models of Linear Logic
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Classical Linear Logic of Implications
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Categorical Models for Intuitionistic and Linear Type Theory
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Glueing and orthogonality for models of linear logic
Theoretical Computer Science - Category theory and computer science
Chu's construction: a proof-theoretic approach
Logic for concurrency and synchronisation
The differential Lambda-calculus
Theoretical Computer Science
On Köthe sequence spaces and linear logic
Mathematical Structures in Computer Science
Geometry of Interaction and linear combinatory algebras
Mathematical Structures in Computer Science
Double categories: a modular model of multiplicative linear logic
Mathematical Structures in Computer Science
Linear types and approximation
Mathematical Structures in Computer Science
Girard translation and logical predicates
Journal of Functional Programming
Program equivalence in a linear functional language
Journal of Functional Programming
Journal of Functional Programming
Computational types from a logical perspective
Journal of Functional Programming
Comparing hierarchies of types in models of linear logic
Information and Computation
Poset-valued sets or how to build models for linear logics
Theoretical Computer Science - Mathematical foundations of programming semantics
Classical linear logic of implications
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Sequential algorithms and strongly stable functions
Theoretical Computer Science - Game theory meets theoretical computer science
Mathematical Structures in Computer Science
Multiplexor Categories and Models of Soft Linear Logic
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
On traced monoidal closed categories
Mathematical Structures in Computer Science
Differential Linear Logic and Polarization
TLCA '09 Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications
Game Semantics for Access Control
Electronic Notes in Theoretical Computer Science (ENTCS)
Differential structure in models of multiplicative biadditive intuitionistic linear logic
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
Call-by-name and call-by-value in normal modal logic
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Exponentials with infinite multiplicities
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Musings around the geometry of interaction, and coherence
Theoretical Computer Science
Non-uniform (hyper/multi)coherence spaces
Mathematical Structures in Computer Science
A modified GoI interpretation for a linear functional programming language and its adequacy
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
Functorial boxes in string diagrams
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
The Scott model of linear logic is the extensional collapse of its relational model
Theoretical Computer Science
A terminating and confluent linear lambda calculus
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Hi-index | 0.00 |