Logical Predicates for Intuitionistic Linear Type Theories
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Resource Interpretations, Bunched Implications and the alpha lambda-Calculus
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Glueing and orthogonality for models of linear logic
Theoretical Computer Science - Category theory and computer science
Linear types and approximation
Mathematical Structures in Computer Science
An enrichment theorem for an axiomatisation of categories of domains and continuous functions
Mathematical Structures in Computer Science
Girard translation and logical predicates
Journal of Functional Programming
Journal of Functional Programming
Possible worlds and resources: the semantics of BI
Theoretical Computer Science - Mathematical foundations of programming semantics
Theoretical Computer Science - Logic, semantics and theory of programming
Relating State-Based and Process-Based Concurrency through Linear Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Comonadic Notions of Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Theoretical Computer Science
Relating state-based and process-based concurrency through linear logic (full-version)
Information and Computation
Differential structure in models of multiplicative biadditive intuitionistic linear logic
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
A linear-non-linear model for a computational call-by-value lambda calculus
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Nominal domain theory for concurrency
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Some reasons for generalising domain theory
Mathematical Structures in Computer Science
The essence of dataflow programming
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Hi-index | 0.00 |