ACM Transactions on Programming Languages and Systems (TOPLAS)
Resource Interpretations, Bunched Implications and the alpha lambda-Calculus
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Linear Logic, Monads and the Lambda Calculus
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
The call-by-need lambda calculus
Journal of Functional Programming
Classical linear logic of implications
Mathematical Structures in Computer Science
Resource operators for λ-calculus
Information and Computation
On a measurement-free quantum lambda calculus with classical control
Mathematical Structures in Computer Science
Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits
Electronic Notes in Theoretical Computer Science (ENTCS)
Confluence Results for a Quantum Lambda Calculus with Measurements
Electronic Notes in Theoretical Computer Science (ENTCS)
Extending the explicit substitution paradigm
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Functions as session-typed processes
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Hi-index | 0.00 |