A machine-checked proof of the Standardization Theorem in Lambda Calculus using multiple substitution
Incluye bibliografía y anexos.
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | masterThesis |
| Idioma: | inglés |
| Publicado: |
2018
|
| Subjects: | |
| Acceso en liña: | http://hdl.handle.net/20.500.11968/3725 |
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
Sexa o primeiro en deixar un comentario!