Cited By
View all- Tobisawa K(2015)A Meta Lambda Calculus with Cross-Level ComputationACM SIGPLAN Notices10.1145/2775051.267697650:1(383-393)Online publication date: 14-Jan-2015
- Tobisawa KRajamani SWalker D(2015)A Meta Lambda Calculus with Cross-Level ComputationProceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages10.1145/2676726.2676976(383-393)Online publication date: 14-Jan-2015
- Dowek GGabbay M(2012)Permissive-nominal logicACM Transactions on Computational Logic10.1145/2287718.228772013:3(1-36)Online publication date: 28-Aug-2012
- Show More Cited By