An implementation of the lambda calculus in Silver
收藏数据链接：
官方服务：
资源简介：
This repository contains an implementation of the lambda calculus that uses the reflection-based term-rewriting extension to Silver. There may be newer, unarchived versions of this software at http://melt.cs.umn.edu.
创建时间：
2020-04-09
