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



