https://github.com/l-tchen/pcf-nominal
A formalisation of PCF in Agda using naive nominal binding
https://github.com/l-tchen/pcf-nominal
agda pcf type-safety
Last synced: 4 months ago
JSON representation
A formalisation of PCF in Agda using naive nominal binding
- Host: GitHub
- URL: https://github.com/l-tchen/pcf-nominal
- Owner: L-TChen
- Created: 2014-05-10T16:54:48.000Z (about 12 years ago)
- Default Branch: master
- Last Pushed: 2014-07-19T07:01:47.000Z (almost 12 years ago)
- Last Synced: 2025-09-03T22:43:27.929Z (9 months ago)
- Topics: agda, pcf, type-safety
- Language: Agda
- Homepage: http://flolac.iis.sinica.edu.tw/flolac14/ops.html
- Size: 221 KB
- Stars: 5
- Watchers: 3
- Forks: 2
- Open Issues: 0
-
Metadata Files: