An implementation of λ* from the paper A Meta Lambda Calculus with Cross-Level Computation.
lehmacdj / lambda-star Goto Github PK
View Code? Open in Web Editor NEWAn implementation of λ* from https://doi.org/10.1145/2775051.2676976
License: BSD 3-Clause "New" or "Revised" License