Trust in the lambda-Calculus
Abstract elided by the publisher.
Related papers
- Trust in the lambda-Calculus JFP 1997
- Trust and Partial Typing in Open Systems of Mobile Agents POPL 1999
- Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself POPL 2022
- Parallel Reduction in Resource Lambda-Calculus APLAS 2009
- Extending Pruning Techniques to Polymorphic Second order Lambda-Calculus ESOP 1994
- VM lambda: a Functional Calculus for Scientific Discovery APLAS 2001
- Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus APLAS 2001
- Relational Parametricity for a Polymorphic Linear Lambda Calculus APLAS 2010