A machine-checked proof of the Standardization Theorem in Lambda Calculus using multiple substitution
Incluye bibliografía y anexos.
-д хадгалсан:
| Үндсэн зохиолч: | |
|---|---|
| Формат: | masterThesis |
| Хэл сонгох: | англи |
| Хэвлэсэн: |
2018
|
| Нөхцлүүд: | |
| Онлайн хандалт: | http://hdl.handle.net/20.500.11968/3725 |
| Шошгууд: |
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|