Spring til hovedindhold
Spring til hovednavigations-menu
Spring til bundtekst
Open Menu
Nyeste
Arkiver
Meddelelser
Om
Om tidsskriftet
Redaktionsgruppe
Erklæring om beskyttelse af personlige oplysninger
Kontaktperson
Søg
Log på
Startside
/
Arkiver
/
Nr. 3 (2008): RS-3 A Study of Syntactic and Semantic Artifacts and its Application to Lambda Definability, Strong Normalization...
Nr. 3 (2008): RS-3 A Study of Syntactic and Semantic Artifacts and its Application to Lambda Definability, Strong Normalization...
Publiceret:
2008-01-03
Artikler
A Study of Syntactic and Semantic Artifacts and its Application to Lambda Definability, Strong Normalization, and Weak Normalization in the Presence of...
Johan Munk
PDF (English)
Sprog
Dansk
English
Information
Til læsere
Til bibliotekarer
Nyeste nummer
