Uppsats
A Semantic Approach to Computation : Representing the Partial Recursive Functions in Lambda Calculus
Kandidat-uppsats
Uppsala universitet/Algebra, logik och representationsteori
Publicerad: 2022
Språk: Engelska
Information
- Författare
- Solig, Tim
- Lärosäte / institution
- Uppsala universitet/Algebra, logik och representationsteori
- Publiceringsdatum
- 2022
- Uppsatstyp
- Kandidat-uppsats
- Språk
- Engelska