Journal article 1461 views
Strong normalization for applied lambda calculi
Ulrich Berger,
Martín Escardó
Logical Methods in Computer Science, Volume: 1, Issue: 2
Swansea University Author: Ulrich Berger
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.2168/LMCS-1(2:3)2005
Abstract
Strong normalization for applied lambda calculi
| Published in: | Logical Methods in Computer Science |
|---|---|
| ISSN: | 1860-5974 |
| Published: |
2005
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa1704 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Issue: |
2 |