Normalization Proofs for the Simply-Typed Lambda Calculus in Agda
Incluye bibliografía y anexos.
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | masterThesis |
| Lingua: | inglese |
| Pubblicazione: |
2020
|
| Soggetti: | |
| Accesso online: | http://hdl.handle.net/20.500.11968/4498 |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| Riassunto: | Incluye bibliografía y anexos. |
|---|