On the longest perpetual reductions in orthogonal expression reduction systems
Theoretical Computer Science
Polarized proof-nets and λµ-calculus
Theoretical Computer Science
De Bruijn's syntax and reductional equivalence of λ-terms
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Game semantics and abstract machines
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
THEORETICAL PEARLS: A bargain for intersection types: a simple strong normalization proof
Journal of Functional Programming
Resource operators for λ-calculus
Information and Computation
Monadic Translation of Intuitionistic Sequent Calculus
Types for Proofs and Programs
An Operational Account of Call-by-Value Minimal and Classical λ-Calculus in
TLCA '09 Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications
An exact correspondence between a typed pi-calculus and polarised proof-nets
Theoretical Computer Science
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
A short proof that adding some permutation rules to β preserves SN
Theoretical Computer Science
Note: A note on preservation of strong normalisation in the λ-calculus
Theoretical Computer Science
Intuitionistic differential nets and lambda-calculus
Theoretical Computer Science
Intersection types for the resource control lambda calculi
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
Extending the explicit substitution paradigm
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
A nonstandard standardization theorem
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 5.23 |