An implementation of the lambda calculus in Silver
收藏DataCite Commons2022-03-08 更新2025-04-09 收录
下载链接：
http://hdl.handle.net/11299/212318
下载链接
链接失效反馈官方服务：
资源简介：
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.
提供机构：
Data Repository for the University of Minnesota (DRUM)
创建时间：
2020-04-09
